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

from Wiktionary, Creative Commons Attribution/Share-Alike License

Named after the logician and philosopher Charles Sanders Peirce.

Examples

    Sorry, no example sentences found.

Comments

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