|
Lecturer(s)
|
-
Koudela Libor, Mgr. Ph.D.
|
|
Course content
|
Introduction to propositional logic - atomic statements, logical connectives, formulas, truth tables. Disjunctive and conjunctive normal forms. Axiomatization of classical propositional logic - inference rules, well-formed formulas. Axioms, theorems, proofs, deduction, properties of systems based on classical propositional logic. Sets and relations. Introduction to predicate logic - open statements, constants, variables, quantifiers. Formulas of predicate logic, interpretation, satisfiability. Axiomatization of predicate logic - axioms, inference rules, deduction.
|
|
Learning activities and teaching methods
|
|
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Work with text (with textbook, with book)
|
|
Learning outcomes
|
The course is designed to provide students with basics of the classical propositional and predicate logic.
Students will be able to use methods of logical reasoning to solve particular problems of subsequent subjects.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Written examination
Assignment - active attendance. Examination - a set of problems with at least 50% correct answers.
|
|
Recommended literature
|
-
ČECHÁK, V.; BERKA, K.; ZAPLETAL. I. Co víte o moderní logice. Praha, 1981.
-
HROMEK, P. Logika v příkladech. Olomouc, 2002.
-
SOCHOR, A. Klasická matematická logika. Praha, 2001.
-
ŠTĚPÁN, J. Klasická logika. Olomouc, 2003.
-
TARSKI, A. Úvod do logiky a metodologie deduktivních věd.
|