Definition:Formal Grammar of Propositional Logic