Peirce's law

短语

释义与例句

name
  1. 1.

    The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.

    数学 哲学

    Consider Peirce's law, ((P→Q)→P)→P). If Q is true, then P→Q is also true so the law reads "If truth implies P then deduce P" which certainly makes sense. If Q is false, then (P→Q)→P≡(P→⊥)→P≡¬P→P≡¬P→P and ¬P≡¬P→⊥≡¬¬P so the law reads ¬¬P→P, which is intuitionistically false but equivalent to the classical axiom ¬P∨P.

词源

Named after the logician and philosopher Charles Sanders Peirce.

来源：wiktionary