transformation rule
nounDefinition of transformation rule
: a principle in logic establishing the conditions under which one statement can be derived or validly deduced from one or more other statements especially in a formalized language
— called also rule of deduction
— compare modus ponens, modus tollens