English Explanatory Dictionary

Peirce's law

English dictionary entry

Meanings

name
  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.

Word forms

Peirce's law

Etymology

Named after the logician and philosopher Charles Sanders Peirce.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary