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:
“It comes to pass oft that a terrible oath, with a swaggering accent sharply twanged off, gives manhood more approbation than ever proof itself would have earned him.”
—William Shakespeare (1564–1616)
Related Phrases
Related Words