Search Details

Word: peirce's law (lookup usage) (lookup stats)


Meaning:

Noun:

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

Source: Wiktionary | Src Info »