Peirce's law

Avy amin'i testwiki

Endrika tamin'ny 6 Aogositra 2024 à 07:08 nataon'i imported>Njaralibera (Pejy noforonina tamin'ny « =={{=en=}}== {{-ana-pr-|en}} '''{{subst:BASEPAGENAME}}''' # ny raikipohy <math> ((P \to Q) \to P) \to P </math> azo ekena amin'ny fomba klasika nefa tsy azo ekena amin'ny fomba intuitionistic amin'ny calculus propositional, izay azo ampiasaina ho solon'ny lalàn'ny afovoany tsy misy ao amin'ny calculus propositional implication {{-tsiahy-}} {{wikibolana|en|Peirce's_law}} »)

(fahasamihafana) ← Endrika tranainy kokoa | Endrika farany indrindra (fahasamihafana) | Endrika vaovao kokoa → (fahasamihafana)

Aller à la navigation Aller à la recherche

Endrika:=en=

Endrika:-ana-pr- Peirce's law

ny raikipohy $((P \to Q) \to P) \to P$ azo ekena amin'ny fomba klasika nefa tsy azo ekena amin'ny fomba intuitionistic amin'ny calculus propositional, izay azo ampiasaina ho solon'ny lalàn'ny afovoany tsy misy ao amin'ny calculus propositional implication

Endrika:-tsiahy- Endrika:Wikibolana

Hita tao amin'ny "https://mg.wiktionary.beta.math.wmflabs.org/w/index.php?title=Peirce%27s_law&oldid=29"