Formation rule
= Formation rule
A <formation rule> specifies how well-formed expressions can be constructed from simpler expressions in a <formal language>. The <formal grammar> of <propositional formulas> has rules for <propositional variables>, <negation> and binary <logical implication>.