Formal Proof
| Proposition | Derivation |
|---|---|
| Given | |
| Given | |
| Material implication | |
| Double Negation | |
| Disjunctive syllogism |
Read more about this topic: Modus Ponens
Famous quotes containing the words formal and/or proof:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)