FPF:UIIABP0047 Introduction to Logic - Course Information
UIIABP0047 Introduction to Logic
Faculty of Philosophy and Science in OpavaSummer 2025
- Extent and Intensity
- 2/2/0. 6 credit(s). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Luděk Cienciala, Ph.D. (lecturer)
RNDr. Radka Poláková, Ph.D. (seminar tutor) - Guaranteed by
- doc. RNDr. Luděk Cienciala, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava - 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
- Computer science and English (programme FPF, In-An-bp)
- Course objectives
- The course is aimed to propositional logic and first order predicate logic.
- Learning outcomes
- Students will be able to:
- define important concepts of propositional logic and predicate logic.
- translate statements from natural language to logic language.
- apply the acquired knowledge on concrete examples. - Syllabus
- 1. Introduction to Logic, symbolic language, special symbols and logical.
- 2.-3. Propositional logic. The language of propositional logic (alphabet and grammar). Definition couplings of propositional logic, conversion from natural language into the symbolic language of propositional logic.
- 4.-5. The semantics of propositional logic: truth valuation, tautology, contradiction, feasibility; propositional logic entailment; semantic methods of propositional logic, Decidability of logical truthfulness. 6.-7. Complete system couplings propositional logic: theorem on representation; Normal forms of formulas of propositional logic; Theorem of functional completeness; logical consequences of a set of formulas.
- 8.-10. First order predicate logic. Correct judgments that can not be analyzed on the basis of propositional logic. Language 1st order predicate logic. Free and bound variables, substitutability terms for variables.
- 11.-12. Semantics 1st order predicate logic. Converting from natural language into the symbolic language of predicate logic. Satisfiability of formulas, logical truthfulness, a contradiction. Logical entailment. Tautology 1st order predicate logic.
- 13. The traditional Aristotelian logic.
- Teaching methods
- Interactive lecture
- Assessment methods
- Credit: Compulsory attendance at lectures min. 75%. Full-time students write two credit tests at the seminar - 20 points each. Exam: In total, the student can get 60 points for the exam. To successfully complete the course, students need to obtain 30 points. The mark for full-time study is determined by the sum of points for the exam and from the tests that the student wrote during the semester in practice. The grade for combined study is determined from the points obtained from the exam test.
- Language of instruction
- Czech
- Enrolment Statistics (Summer 2025, recent)
- Permalink: https://is.slu.cz/course/fpf/summer2025/UIIABP0047