Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)
Přednáška základy výrokové a predikátové logiky je úvodní přednáškou v rámci studia klasické matematické logiky. V přednášce definujeme syntax a sémantiku výrokové a prvořádové predikátové logiky. Budeme pokračovat s definicí důkazu v Hilbertovském smyslu a ukážeme, že klasická výroková logika je úplná, tj. tvrzení je odvoditelné z daných předpokladů, právě tehdy když je pravdivé v každém modelu těchto předpokladů. Seznámíme se rovněž s aplikacemi výrokové logiky v matematice i dalších vědách.
Literatura
Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (24.09.2020)
V. Švejdar, Logika, neúplnost, složitost a nutnost. Academia, Praha, 2002.
A. Sochor, Klasická matematická logika. Karolinum, Praha, 2001.
D. van Dalen, Logic and Structure. Springer-Verlag, London, 2013.
Sylabus
Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)