Modus Tollens - Formal Proof

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 (1821–1867)