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:

    “A man’s women folk, whatever their outward show of respect for his merit and authority, always regard him secretly as an ass, and with something akin to pity. His most gaudy sayings and doings seldom deceive them; they see the actual man within, and know him for a shallow and pathetic fellow. In this fact, perhaps, lies one of the best proofs of feminine intelligence, or, as the common phrase makes it, feminine intuition.”
    —H.L. (Henry Lewis)

    “Thus we may define the real as that whose characters are independent of what anybody may think them to be.”
    —Charles Sanders Peirce (1839–1914)

    “No. I am not the law in your mind,
    the grandfather of watchfulness.
    I am the law of your members,
    the kindred of blackness and impulse.
    See. Your hand shakes.
    It is not palsy or booze.”
    —Anne Sexton (1928–1974)