\item \lect Give the definition of well-formed formulas in propositional logic. \\