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:
“It is not because the truth is too difficult to see that we make mistakes. It may even lie on the surface; but we make mistakes because the easiest and most comfortable course for us is to seek insight where it accords with our emotions—especially selfish ones.”
—Alexander Solzhenitsyn (b. 1918)
“A big leather-bound volume makes an ideal razorstrap. A thin book is useful to stick under a table with a broken caster to steady it. A large, flat atlas can be used to cover a window with a broken pane. And a thick, old-fashioned heavy book with a clasp is the finest thing in the world to throw at a noisy cat.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)