Modus Tollendo Tollens/Explanation

From ProofWiki
Jump to navigation Jump to search

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.
Retrieved from "https://proofwiki.org/w/index.php?title=Modus_Tollendo_Tollens/Explanation&oldid=244496"