Justification Via Truth Table
The validity of modus tollens can be clearly demonstrated through a truth table.
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
In instances of modus tollens we assume as premises that p → q is true and q is false. There is only one line of the truth table - the fourth line - which satisfies these two conditions. In this line, p is false. Therefore, in every instance in which p → q is true and q is false, p must also be false.
Read more about this topic: Modus Tollens
Famous quotes containing the words truth and/or table:
“During the late war [the American Revolution] I had an infallible rule for deciding what [Great Britain] would do on every occasion. It was, to consider what they ought to do, and to take the reverse of that as what they would assuredly do, and I can say with truth that I was never deceived.”
—Thomas Jefferson (1743–1826)
“For who is greater, the one who is at the table or the one who serves? Is it not the one at the table? But I am among you as one who serves.”
—Bible: New Testament, Luke 22:27.