peirce's law

İngilizce - İngilizce

peirce's law teriminin İngilizce İngilizce sözlükte anlamı

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

Etimoloji

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