transformation rule

noun

: 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

Love words?

You must — there are over 200,000 words in our free online dictionary, but you are looking for one that’s only in the Merriam-Webster Unabridged Dictionary.

Start your free trial today and get unlimited access to America's largest dictionary, with:

• More than 250,000 words that aren't in our free dictionary
• Expanded definitions, etymologies, and usage notes
• Advanced search features
• Ad free!