Peirce's law: Tantaran'ny versiona

Aller à la navigation Aller à la recherche

Safidim-pahasamihafana: Mariho ireo bokotra radiôn'ny versiona mba hampitahàna azy ireo ary tsindrony ilay bokotra amin'ny faran'ny pejy: (ank) = fampitahana amin'ny versiona farany indrindra, (farany) = fahasamihafana amin'ny versiona farany nialoha ity, k = fiovana madinika.

6 Aogositra 2024

  • ankfarany 07:086 Aogositra 2024 à 07:08 imported>Njaralibera 394 oktety +394 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}} »