formation rules,
n.
(
Logic
) the set of rules that specify the syntax of a
formal calculus
; the algorithm that generates all and only the
well-formed formulae
(
wffs
) of the system.
