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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between ideas and things, both of which he assumes as given; he need not inquire whether either sphere is real or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
—Charles Baudelaire (18211867)