Cvičení z logiky I

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