FPF:UIIABP0047 Introduction to Logic

UIIABP0047 Introduction to Logic

Faculty of Philosophy and Science in Opava
Summer 2021

Extent and Intensity

2/2/0. 6 credit(s). Type of Completion: zk (examination).

Teacher(s)

Guaranteed by

Timetable

Mon 8:05–9:40 B1

UIIABP0047/A: Wed 10:35–12:09 B1, L. Ciencialová

Prerequisites (in Czech)

TYP_STUDIA(B)

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

Course objectives (in Czech)

Cílem předmětu je naučit studenty základům výrokové logiky a predikátové logiky prvního řádu.

Syllabus (in Czech)

1. Úvod do logiky, symbolický jazyk, speciální a logické symboly.
2. Výroková logika. Jazyk výrokové logiky (abeceda a gramatika). Definice spojek výrokové logiky převod z přirozeného jazyka do symbolického jazyka výrokové logiky.
3. Sémantika výrokové logiky: pravdivostní ohodnocení, tautologie, kontradikce, splnitelnost; výrokově logické vyplývání; sémantické metody výrokové logiky, rozhodnutelnost problému logické pravdivosti.
4. Úplný systém spojek výrokové logiky: věta o reprezentaci; normální formy formulí výrokové logiky; věty o funkční úplnosti; logické důsledky množiny formulí.
5. Predikátová logika prvního řádu. Správné úsudky, které nelze analyzovat na základě výrokové logiky. Jazyk predikátové logiky 1. řádu. Volné a vázané proměnné, substituovatelnost termů za proměnné.
6. Sémantika predikátové logiky 1. řádu. Převod z přirozeného jazyka do symbolického jazyka predikátové logiky. Splnitelnost formulí, logická pravdivost, kontradikce. Logické vyplývání. Tautologie predikátové logiky 1. řádu.
7. Tradiční Aristotelova logika.

Literature

required literature

CIENCIALA, Luděk. Úvod do logiky. Sktipta do předmětu. ÚI FPF SU v Opavě, 2017, 116 pp. info

recommended literature

GALLIER, Jean H. Logic for computer science: foundations of automatic theorem proving. Second edition. Mineola, New York: Dover Publications, 2015. ISBN 978-0-486-78082-5. info
HODEL, Richard E. An introduction to mathematical logic. Reprint. Dover Publications, 2013. info
COPI, Irving M; C COHEN and K D MCMAHON. Introduction to logic. 14th ed. Upper Saddle River, NJ: Pearson Education, 2011. ISBN 978-0-205-82037-5. info
BAADER, F; D CALVANESE; D L MCGUINNESS; D NARDI and P F PATEL-SCHNEIDER. TheDescription Logic Handbook – Theory, implementation, and applications. Cambridge University Press, 2010. info
JIRKŮ, Petr and Jiřina VEJNAROVÁ. Formální logika: neformální výklad základů formální logiky. Vyd. 2. Praha: Oeconomica, 2005. ISBN 978-80-245-0974-7. info
LUKASOVÁ, A. Formální logika v umělé inteligenci. Brno: Computer Press, 2003. ISBN 80-251-0023-5. info
Švejdar, V. Logika: neúplnost, složitost a nutnost. Praha, Academia, 2002. info

Teaching methods

Lecture, tutorial

Language of instruction

Czech

Further Comments

Study Materials

The course is also listed under the following terms Summer 2022, Summer 2023, Summer 2024, Summer 2025, Summer 2026.