Definition:Language of Propositional Logic/Formal Grammar

 The formal grammar of the language of propositional logic (and hence its WFFs) can be defined in the following ways.

Also see

 * Equivalence of Definitions of Formal Grammar for Propositional Logic