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:

    The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.
    Edgar Lee Masters (1869–1950)

    The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.
    Walt Whitman (1819–1892)