language-icon Old Web
English
Sign In

Modus ponendo tollens

Modus ponendo tollens (MPT; Latin: 'mode that denies by affirming') is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens. Modus ponendo tollens (MPT; Latin: 'mode that denies by affirming') is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens.

[ "Deduction theorem", "Modus tollens" ]
Parent Topic
Child Topic
    No Parent Topic