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:
“The chief contribution of Protestantism to human thought is its massive proof that God is a bore.”
—H.L. (Henry Lewis)
Related Phrases
Related Words