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

The Ultimate Dictionary Awaits

Expand your vocabulary and dive deeper into language with Merriam-Webster Unabridged.

1. Expanded definitions
2. Detailed etymologies
3. Advanced search tools
4. All ad-free

Discover what makes Merriam-Webster Unabridged the essential choice for true word lovers.

Start Your Free Trial Now