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:
“When we do not know the truth of a thing, it is of advantage that there should exist a common error which determines the mind of man.... For the chief malady of man is restless curiosity about things which he cannot understand; and it is not so bad for him to be in error as to be curious to no purpose.”
—Blaise Pascal (16231662)
“Comes the time when its later
and onto your table the headwaiter
puts the bill,”
—Robert Creeley (b. 1926)