Pisemka Gregor 20.10.2011
Napsal: 22. 10. 2011 20:22
1) Vysvetlete, co znamena 
, kazdy novy pojem, jenz pouzijete, vysvetlete taky.
2) Bud
teorie linearniho usporadani, jeho jazyk  = <{\bf\leq}>)
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) \& (\forall x)R(x))
b) \&
eg(\forall x)R(x))
2) Bud
3) Mejme strukturu
a)
b)