Sanakirja
Tekoälykääntäjä
Käännöksiä ei löytynyt valitulle kohdekielelle.
Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: Peirce's, law
Samankaltaisia sanoja
Määritelmät
Substantiivit
- (logic) The classically valid but intuitionistically non-valid formula ((P → Q) → P) → P of propositional calculus, which can be used as an substitute for the law of excluded middle in implicational propositional calculus.
Esimerkit
- Consider Peirce's law, ((P → Q) → P) → P) . If Q is true, then P → Q is also true so the law reads "If truth implies P then deduce P" which certainly makes sense. If Q is false, then (P → Q) → P ≡ (P → \bot) → P ≡ ¬ P → P ≡ ¬ P → P \and ¬ P ≡ ¬ P → \bot ≡ ¬ ¬ P so the law reads ¬ ¬ P → P , which is intuitionistically false but equivalent to the classical axiom ¬ P ∨ P.