Cvičení z logiky I - ALG119009

• Anglický název: Logic exercise I
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2019
• Semestr: zimní
• Body: 0
• E-Kredity: 4
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:0/2, Z [HT]
• Počet míst: neurčen / neomezen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: Mgr. Šárka Stejskalová, Ph.D.
• Vyučující: Mgr. Šárka Stejskalová, Ph.D.

Anotace

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (21.03.2020)

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

Literatura

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (04.10.2019)

V. Švejdar, Logika, neúplnost, složitost a nutnost. Academia, Praha, 2002.
A. Sochor, Klasická matematická logika. Karolinum, Praha, 2001.

Sylabus

Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)

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