# skúška 14.04.2010

<{ForumPost(poster="sine", timestamp=2010-04-14 13:44:22)}>
Čaute, z dnešnej skúšky tuším Mlček ani Pajas nikoho nevyhodil (odchádzal som predposledný), iba prvý z nás to vzdal žiaľ hneď na začiatku.  
  
Mal som ľahkú otázku z výrokovej logiky:  
máme dva modely K, L nad množinou $\mathbb{P} \rightarrow 2$.  
1a) Kedy je $K \cup L$ axiomatizovateľná?  
1b) Kedy  $K \cap L$ axiomatizovateľná?  
2) Kedy je  $-K (= (\mathbb{P} \rightarrow 2) - K)$ axiomatizovateľná?  
  
Napísal som definície a definoval mu axiomatiku pri konečnej kardinalite K a L, na trojku to stačilo. Tiež sa pýtal na niektoré jednoduché / základné definície, väčšinou v súvislosti s úlohou.
<{/ForumPost}>

<{ForumPost(poster="peterblack", timestamp=2010-04-15 08:17:52)}>
nj ja se tvaril zoufale a dostal jsem pocty modelu teorii :) takze to zabira, trenujte pohled "zranene tuleni mlade"  
  
v priloze jsou moje vypisky + reseny priklady z fora (bez zaruky) u cervene zvyraznenych casti si nejsem moc jisty  
  
takze, pro dalsi generace...

*Attachments:*

- *[logika_zk.doc](/Forum%20archiv/Attachments/2690_8ca0491d5196f4a62dcced9eb37612a9)*
- *[logika_zk.pdf](/Forum%20archiv/Attachments/2690_5202ab4bec4844fadc2a68a6f9f824c9)*

<{/ForumPost}>