Peirce's Law - Other Proofs of Peirce's Law

Other Proofs of Peirce's Law

Showing Peirce's Law applies does not mean that P→Q or Q is true, we have that P is true but only (P→Q)→P, not P→(P→Q) (see affirming the consequent).

simple proof: (p \rightarrow q) \rightarrow p \Rightarrow \overline{p \rightarrow q} \or p \Rightarrow \overline{\overline p \or q} \or p \Rightarrow (p \and \overline q) \or p \Rightarrow (p \and \overline q) \or (p \and 1) \Rightarrow p \and (\overline q \or 1) \Rightarrow p \and 1 \Rightarrow p.

Read more about this topic:  Peirce's Law

Famous quotes containing the words proofs, peirce and/or law:

    “I do not think that a Physician should be admitted into the College till he could bring proofs of his having cured, in his own person, at least four incurable distempers.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “The final upshot of thinking is the exercise of volition, and of this thought no longer forms a part; but belief is only a stadium of mental action, an effect upon our nature due to thought, which will influence future thinking.”
    —Charles Sanders Peirce (1839–1914)

    “From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.”
    —Charles Darwin (1809–1882)