Sylabus
Výroková logika
Formule, atomická formule, logické spojky, ohodnocení, tabulková metoda, splnitelná formule, tautologie a vyplývání
Disjunktivní normální tvar, konjunktivní normální tvar
Hilbertovský výrokový kalkulus, axiomy, odvozovací pravidla a pojem důkazu
Bezesporná a maximalně bezesporná množina formulí
Predikátová logika
Formule, funkční symboly, predikatové symboly, kvantifikátory, proměnnné a termy
Struktury, realizace a ohodnocení
Substituce, platnost formule ve struktuře, logický důsledek (vyplývání) a logicky platná formule
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 (formule, atomická formule, ohodnocení, tautologie, vyplývání, term, struktura, model, důkaz a další).