Modus_ponendo_tollens
Modus ponendo tollens (MPT;[1] Latin: "mode that denies by affirming")[2] is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens.
Modus ponendo tollens (MPT;[1] Latin: "mode that denies by affirming")[2] is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens.
This article uses material from the Wikipedia article Modus_ponendo_tollens, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.