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:
“Today’s comedian has a cross to bear that he built himself. A comedian of the older generation did an “act” and he told the audience, “This is my act.” Today’s comic is not doing an act. The audience assumes he’s telling the truth. What is truth today may be a damn lie next week.”
—Lenny Bruce (1925–1966)
“Will you greet your doom
As final; set him loaves and wine; knowing
The game is finished when he plays his ace,
And overturn the table and go into the next room?”
—Philip Larkin (1922–1986)