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 known as
The formal grammar of propositional logic is also referred to as its syntax.

Also see

 * Equivalence of Definitions of Formal Grammar for Propositional Logic