Introduction to Logical Thinking
Updated 1.9.2022
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
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