Barcan formula

Avy amin'i testwiki
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"