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:
“Brutus. Now, as you are a Roman, tell me true.
Messala. Then like a Roman bear the truth I tell,
For certain she is dead, and by strange manner.
Brutus. Why, farewell, Portia. We must die, Messala.”
—William Shakespeare (1564–1616)
“In New York, pretending to be above the struggle means no seat on the bus and a table next to the kitchen.”
—Mason Cooley (b. 1927)