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:
“In the society of men the truth resides now less in what things are than in what they are not. Our social realities are so ugly if seen in the light of exiled truth, and beauty is no longer possible if it is not a lie.”
—R.D. (Ronald David)
“In this sad state, God Tender Bowells run
Out streams of Grace: And he to end all strife
The Purest Wheate in Heaven, his deare-dear Son
Grinds, and kneads up into this Bread of Life.
Which Bread of Life from Heaven down came and stands
Disht on thy Table up by Angells Hands.”
—Edward Taylor (1645–1729)