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, wellformed 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.
