Example Proof
The validity of this argument structure can be shown by using both conditional proof (CP) and reductio ad absurdum (RAA) in the following way:
| 1. | (CP assumption) | |
| 2. | (1: Simplification) | |
| 3. | (2: simplification) | |
| 4. | (2: simplification) | |
| 5. | (1: simplification) | |
| 6. | (RAA assumption) | |
| 7. | (6: DeMorgan's Law) | |
| 8. | (7: simplification) | |
| 9. | (7: simplification) | |
| 10. | (8: double negation) | |
| 11. | (9: double negation) | |
| 12. | (3,10: modus ponens) | |
| 13. | (4,11: modus ponens) | |
| 14. | (12: double negation) | |
| 15. | (5, 14: disjunctive syllogism) | |
| 16. | (13,15: conjunction) | |
| 17. | (6-16: RAA) | |
| 18. | (1-17: CP) |
Read more about this topic: Destructive Dilemma
Famous quotes containing the word proof:
“The moment a man begins to talk about technique that’s proof that he is fresh out of ideas.”
—Raymond Chandler (1888–1959)
“The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
—Andrew Michael Ramsay (1686–1743)