Matematické Fórum

UnknownDeletedUser

-

OiBobik

↑ Dunemaster:

Ahoj,

tak jde o bezespornost, nebo o kompletnost?

No přijde mi, že ta teorie není kompletní... uvaž třeba sentence $c_1=c_2$ a $\neg(c_1=c_2)$ . Pak $\mathcal{M}=\{1,2\}$ s interpretací $c_1^\mathcal{M}=1, c_2^\mathcal{M}=1, c_3^\mathcal{M}=2$ splňuje první sentenci, přitom $\mathcal{N}=\{1,2,3\}$ s interpretací $c_i^\mathcal{N}=i, \;\; i=1, 2, 3$ splňuje druhou sentenci. Přitom oba to jsou modely $T$ .

EDIT: Teď jsem trochu zmaten, protože ta formule, ze které sestává $T$ , není sentence, má volnou proměnnou $x$ . V mojí odpovědi předpokládám, že je ta formule ještě univerzálně kvantifikovaná, tj. že $T=\{(\forall x)(x=c_1)\vee(x=c_2)\vee(x=c_3)\}$ .

Matematické Fórum

#1 16. 12. 2013 18:50 — Editoval Dunemaster (06. 04. 2021 19:26)

-

#2 16. 12. 2013 19:24 — Editoval OiBobik (16. 12. 2013 19:30)

Re: -

#3 16. 12. 2013 20:59 Příspěvek uživatele UnknownDeletedUser byl skryt uživatelem Dunemaster.

Zápatí