formation rules


pl n

logic the set of rules that specify the syntax of a formal system; the algorithm that generates the well-formed formulae