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:
“Glorious the northern lights astream;
Glorious the song, when God’s the theme
Glorious the thunder’s roar:
Glorious hosanna from the den;
Glorious the catholic amen;
Glorious the martyr’s gore:
Glorious—more glorious is the crown
Of him that brought salvation down
By meekness, called thy Son;
Thou that stupendous truth believed,
And now the matchless deed’s achieved,
Determined, Dared, and Done.”
—Christopher Smart (1722–1771)
“Remember thee?
Ay, thou poor ghost, whiles memory holds a seat
In this distracted globe. Remember thee?
Yea, from the table of my memory
I’ll wipe away all trivial fond records,
All saws of books, all forms, all pressures past
That youth and observation copied there,
And thy commandment all alone shall live
Within the book and volume of my brain,”
—William Shakespeare (1564–1616)