\item \self Consider a formula $\varphi$ in propositional logic. How is a propositional formula constructed and of what elements does it consist of? \\