====== Cvičení 1.11.2010 ======

===== Organizační =====

  * Dle dohody si zkusíme zápočtovou písemku. Bude přibližně poloviční, tj. 30 minut, ať máme čas na projítí výsledků a případné otázky.

===== Teorie =====

  * Opakování z minula a cvičení na písemku.
  * Zjištění platnosti úsudku pomocí metody modelování relací. Ta se hodí tehdy, když máme predikáty s více než jedním parametrem.

===== Cvičení =====

  * **První** příklad je cílený na správnou formalizaci.
  * V **druhém** a **třetím** příkladu zopakujeme interpretace.
  * **Čtvrtý** a **pátý** příklad jsou na platnosti úsudků sématickými metodami (významná část bodu na zápočtové písemce).