Syllabus
Syllogism. Syllogistics.
Proposition. Propositional calculus. Logic operations and their properties. Connection to set theory. Boolean algebra. Mathematical proofs. Modal propositional logic.
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 exploring logical thinking is also included.