Modus Tollendo Tollens/Explanation

Sequent

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

If the truth of one statement implies the truth of a second, and the second is shown not to be true, then neither can the first be 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.