Definitions
Wiktionary
- n. logic 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.
Lists
‘Peirce's law’ hasn't been added to any lists yet.
Tweets
Looking for tweets for Peirce's law.
Comments
No comments yet...
Log in or sign up to get involved in the conversation. It's quick and easy.