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:
“The thinking person has the strange characteristic to like to create a fantasy in the place of the unsolved problem, a fantasy that stays with the person even when the problem has been solved and truth made its appearance.”
—Johann Wolfgang Von Goethe (1749–1832)
“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.