Modus Ponendo Tollens/Explanation

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.

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.