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:
“For usually people resist as long as they can to dismiss the fool they harbor in their bosom, they resist to confess a major mistake or to admit a truth that makes them despair.”
—Johann Wolfgang Von Goethe (1749–1832)
“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)