Cvičení 1.11.2010

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.

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.

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