Barcan formula: 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.

30 Aogositra 2024

  • ankfarany 17:2530 Aogositra 2024 à 17:25 imported>Jaonananana 327 oktety +327 Pejy noforonina tamin'ny « =={{=en=}}== {{-ana-pr-|en}} '''{{subst:BASEPAGENAME}}''' # amin'ny lojika modaly voatondro isa, ny raikipohy <math>\forall x \Box Fx \rightarrow \Box \forall x Fx</math>, midika hoe "raha ny x rehetra dia tsy maintsy F, dia ilaina ny hoe ny x rehetra dia F" {{-tsiahy-}} {{wikibolana|en|Barcan_formula}} »