# Pisemka Gregor 20.10.2011

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