peirce's law

الإنجليزية - الإنجليزية

تعريف peirce's law في الإنجليزية الإنجليزية القاموس.

The classically valid but intuitionistically non-valid formula ((P \to Q) \to P) \to P 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.