Introduction to Logical Thinking
Updated 5.12.2024
Contents and Presentations of Lectures
Lecture 1 Presentation 1 Introduction: what is the subject of logic; what is logic about?
Lecture 2 Presentation 2 Propositional Logic; language and semantics
Lecture 3 Presentation 3 Reasoning in Propositional Logic
Lecture 4 Presentation 4 Naive Theory of Sets; relations and functions
Lecture 5 Presentation 5 First-order Predicate Logic; language and semantics
Lecture 6 Presentation 6 Interpretation and Models; Semantic Verification of Arguments in FOL
Lecture 7 Presentation 7 Aristotle's Logic; Venn's diagrams
Lecture 8 Presentation 8 Resolution Method
Lecture 9 Presentation 9 General Resolution Method in FOL; examples
Lectures 10-11 Presentation by doc. Sawa Inductive definitions and proos
Lecture 12 Presentation 12 Programming in Logic; PROLOG
Sample credit test
Exercises 2024
Exercise 1, Exercise 2,
Exercise 3, Exercise 4,
Exercise 5, Exercise 6,
Exercise 7, Exercise 8.
Exercise 9, Exercise 10
Exercises 2022
No 1, No 2, No 3, No 4,
No 5, No 6, No 7,
No 8, No 9
Other exercises
Exercise 1 Resolution method in propositional logic
Exercise 6 First-order predicate logic
Exercise 7 Aristotle's logic; Venn's diagrams