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:
“The truth is that literature, particularly fiction, is not the pure medium we sometimes assume it to be. Response to it is affected by things other than its own intrinsic quality; by a curiosity or lack of it about the people it deals with, their outlook, their way of life.”
—Vance Palmer (1885–1959)
“A man who can dominate a London dinner table can dominate the world. The future belongs to the dandy. It is the exquisites who are going to rule.”
—Oscar Wilde (1854–1900)