Peirce's law (English, name)
expansion: Peirce's law
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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.
Forms: