UIINP12 Introduction to Logic

Faculty of Philosophy and Science in Opava
Summer 2022
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
Timetable
Mon 9:45–11:20 B2
  • Timetable of Seminar Groups:
UIINP12/A: Thu 8:55–10:30 B2, R. Poláková
Course Enrolment Limitations
The course is offered to students of any study field.
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. 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.
  • 3. The semantics of propositional logic: truth valuation, tautology, contradiction, feasibility; propositional logic entailment; semantic methods of propositional logic, Decidability of logical truthfulness. 4. 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.
  • 5. 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. 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.
  • 7. The traditional Aristotelian logic.
Literature
    required literature
  • CIENCIALA, Luděk: Úvod do logiky. Sktipta do předmětu, ÚI FPF SU v Opavě, počet stran 116, 2017.
    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
  • 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
  • Jirků, P., Vejnarová, V. Neformální výklad základů formální logiky. VŠE Praha, 2000. URL info
Teaching methods
Interactive lecture
Assessment methods
Credit Exam
Language of instruction
Czech
Further comments (probably available only in Czech)
Study Materials
The course can also be completed outside the examination period.
Teacher's information
Credit: full-time students wrote the exercises two credit tests scoring 20 points each.
Exam: Total of examination exam can earn 60 points. For the successful completion students need to get 30 points. Mark for full-time study is determined by adding the points for the exam and points that the student earned during the semester in the course. Mark the combined study is determined from the points gained from examination test.
The course is also listed under the following terms Summer 2020, Summer 2021, Summer 2023, Summer 2024, Summer 2025.
  • Enrolment Statistics (Summer 2022, recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2022/UIINP12