Logic 6: Language of Propositional Logic

We formally define the syntax of propositional logic and prove a unique parsing theorem for its formulas.