skúška 14.04.2010

Č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.

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

• logika_zk.pdf