Example of A Proof
Prove: .
Proof:
| Number | Formula | Justification |
|---|---|---|
| 1 | Hypothesis | |
| 2 | Hypothesis | |
| 3 | Universal instantiation | |
| 4 | From (1) and (3) by Modus ponens | |
| 5 | Universal instantiation | |
| 6 | From (2) and (5) by Modus ponens | |
| 7 | From (6) and (4) by Modus ponens | |
| 8 | From (7) by Generalization | |
| 9 | Summary of (1) through (8) | |
| 10 | From (9) by Deduction theorem | |
| 11 | From (10) by Deduction theorem |
In this proof, Universal generalization was used in step 8. The Deduction theorem was applicable in steps 10 and 11 because the formulas being moved have no free variables.
Read more about this topic: Universal Generalization
Famous quotes containing the word proof:
“There is no better proof of a man’s being truly good than his desiring to be constantly under the observation of good men.”
—François, Duc De La Rochefoucauld (1613–1680)
Related Phrases
Related Words