Modus Tollendo Tollens
Premise 1. P -> Q
Premise 2. ¬Q
Conclusion. ¬P
Converted by
Mathematica
October 4, 2001