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:
“I learned early to understand that there is no such condition in human affairs as absolute truth. There is only truth as people see it, and truth, even in fact, may be kaleidoscopic in its variety. The damage such perception did to me I have felt ever since ... I could never belong entirely to one side of any question.”
—Pearl S. Buck (1892–1973)
“When he was at the table with them, he took bread, blessed and broke it, and gave it to them. Then their eyes were opened, and they recognized him; and he vanished from their sight.”
—Bible: New Testament, Luke 24:30,31.
The Emmaus story.