noun
: 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
noun
: 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
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012