Formal Proof
| Proposition | Derivation |
|---|---|
| Given | |
| Given | |
| Material implication | |
| Disjunctive syllogism |
Read more about this topic: Modus Tollens
Famous quotes containing the words formal and/or proof:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“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)