Modus Ponendo Tollens/Explanation

From ProofWiki
Jump to navigation Jump to search

Explanation of Modus Ponendo Tollens

The Modus Tollendo Ponens can be expressed in natural language as:

If two statements cannot both be true, and one of them is true, it follows that the other one is not true.

Retrieved from "https://proofwiki.org/w/index.php?title=Modus_Ponendo_Tollens/Explanation&oldid=244554"