Justification Via Truth Table
The validity of modus ponens in classical two-valued logic can be clearly demonstrated by use of a truth table.
p | q | p → q |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |
In instances of modus ponens we assume as premises that p → q is true and p is true. Only one line of the truth table—the first—satisfies these two conditions (p and p → q). On this line, q is also true. Therefore, whenever p → q is true and p is true, q must also be true.
Read more about this topic: Modus Ponens
Famous quotes containing the words truth and/or table:
“Even truth needs to be clad in new garments if it is to appeal to a new age.”
—G.C. (Georg Christoph)
“A sigh for every so many breath,
And for every so many sigh a death.
Thats what I always tell my wife
Is the multiplication table of life.”
—Robert Frost (18741963)