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:
“There is a sort of homely truth and naturalness in some books which is very rare to find, and yet looks cheap enough. There may be nothing lofty in the sentiment, or fine in the expression, but it is careless country talk. Homeliness is almost as great a merit in a book as in a house, if the reader would abide there. It is next to beauty, and a very high art. Some have this merit only.”
—Henry David Thoreau (1817–1862)
““A sigh for every so many breath,
And for every so many sigh a death.
That’s what I always tell my wife
Is the multiplication table of life.””
—Robert Frost (1874–1963)