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:
“Sir Joshua would have been glad to take her portrait; and he would have had an easier task than the historian at least in this, that he would not have had to represent the truth of change—only to give stability to one beautiful moment.”
—George Eliot [Mary Ann (or Marian)
“Thou preparest a table before me in the presence of mine enemies; thou anointest my head with oil; my cup runneth over.”
—Bible: Hebrew Psalms, 23:5.