Sylabus
Substituce, platnost formule ve struktuře, logický důsledek (vyplývání) a logicky platná formule
Prenexní normální tvar
Hilbertovský predikátový kalkulus, axiomy a odvozovací pravidla
Modely a teorie
Věta o kompaktnosti
Anotace
Cvičení z logiky je seminářem k přednášce základy výrokové a predikátové logiky. V semináři se student blíže seznámí se základními pojmy definovanými v přednášce.