formation rule
nounDefinition of formation rule
: a principle in logic for establishing permissible combinations of signs (as for determining how to construct statements or formulas in a formalized language or calculus)
—contrasted with transformation rule