Syllabus
Proposition. Propositional calculus.
Logic operations and their properties.
Connection to set theory. Boolean algebra.
Mathematical proofs.
Modal propositional logic.
Undecidable propositions - Gödel's theorems.
Annotation
The course focuses on the basics of classical propositional calculus, its axiomatics, semantics, and methods of inference and proof theory. A brief introduction to modal propositional calculus is also included, and Gödel's theorems (undecidable propositions) are mentioned.