Modus Tollendo Ponens
Premise 1. P
V
Q
Premise 2. ¬P
Conclusion. Q
Converted by
Mathematica
October 4, 2001