Modus Tollens
A logical argument of the form:
If P, then Q.
Latin:
removing by taking away.
Modus tollens Logic:
If P, then QNot P is true
Therefore Not Q is true
Using if A, then B, we have:
A = Not P and B = Not Q
P = antecedent and Q = consequent.
If antecedent = false, consequence = false.
