Thesaurus
A really fast thesaurus... with lots of synonyms.
Peirce's law (0 synonym found)
Definition of Peirce's law:
(n) :
(logic) 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.
Definition of Peirce's law:
(n) :
(logic) 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.
A make the world a better place giveback project.
Wiktionary content available under the GNU FDL
Charlotte Website Design by Next Wave Services