od mathemage » 22. 10. 2011 20:22
1) Vysvetlete, co znamena
, kazdy novy pojem, jenz pouzijete, vysvetlete taky.
2) Bud
teorie linearniho usporadani, jeho jazyk
s rovnosti. Urcete formuli
takovou, ze
je linearni usporadani, kde kazdy prvek ma bezprostredniho naslednika.
3) Mejme strukturu
Urcete prave ty struktury, v nichz plati prave tyto formule:
a)
b)
1) Vysvetlete, co znamena [latex]T\models \varphi[/latex], kazdy novy pojem, jenz pouzijete, vysvetlete taky.
2) Bud [latex]T[/latex] teorie linearniho usporadani, jeho jazyk [latex]L(T) = <{\bf\leq}>[/latex] s rovnosti. Urcete formuli [latex]\varphi[/latex] takovou, ze [latex]T \cup \{\varphi\}[/latex] je linearni usporadani, kde kazdy prvek ma bezprostredniho naslednika.
3) Mejme strukturu [latex]\mathcal{A} = <A, P^\mathcal{A}, R^\mathcal{A}>[/latex] Urcete prave ty struktury, v nichz plati prave tyto formule:
a) [latex]P(x) \& (\forall x)R(x)[/latex]
b) [latex]P(x) \&
eg(\forall x)R(x)[/latex]