Formation rule

The formation rules of a propositional calculus may, for instance, take a form such that;