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.