výuka

6. cvičení (27. března 2006)

Jazyk 1. řádu, predikáty, funkce. Predikát rovnosti.

Termy, formule. Vázaný a volný výskyt proměnné ve formuli, uzavřené a otevřené formule, čisté varianty formulí.

Realizační struktury, realizace termů, ohodnocení proměnných.

Pravdivost a splněnost formule ve struktuře (při ohodnocení).

příklady

test

Příští dvě cvičení supluje kol. Vaněk, 10. dubna se píše test ze sémantiky predikátové logiky.