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:
“Grant me an old man’s frenzy.
Myself must I remake
Till I am Timon and Lear
Or that William Blake
Who beats upon the wall
Till truth obeyed his call....”
—William Butler Yeats (1865–1939)
“Thou preparest a table before me in the presence of mine enemies; thou anointest my head with oil; my cup runneth over.”
—Bible: Hebrew Psalms, 23:5.