Barcan formula

Avy amin'i testwiki
Endrika tamin'ny 30 Aogositra 2024 à 17:25 nataon'i imported>Jaonananana (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}} »)
(fahasamihafana) ← Endrika tranainy kokoa | Endrika farany indrindra (fahasamihafana) | Endrika vaovao kokoa → (fahasamihafana)
Aller à la navigation Aller à la recherche

Endrika:=en=

Endrika:-ana-pr- Barcan formula

  1. amin'ny lojika modaly voatondro isa, ny raikipohy ∀x◻Fx→◻∀xFx, midika hoe "raha ny x rehetra dia tsy maintsy F, dia ilaina ny hoe ny x rehetra dia F"

Endrika:-tsiahy- Endrika:Wikibolana

Hita tao amin'ny "https://mg.wiktionary.beta.math.wmflabs.org/w/index.php?title=Barcan_formula&oldid=43"