Definitions

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.

Etymologies

Named after the logician and philosopher Charles Sanders Peirce. (Wiktionary)

Examples

Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.