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.

Backus-Naur Form
Currently at /Backus-Naur Form

Bottom-Up Specification
Currently at /Bottom-Up Specification

Also see

 * Equivalence of Definitions of Formal Grammar for PropCalc