from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. The classically valid but intuitionistically non-valid formula of propositional calculus, which can be used as an substitute for the law of excluded middle in implicational propositional calculus.
Named after the logician and philosopher Charles Sanders Peirce. (Wiktionary)
Sorry, no example sentences found.