Course aim
Familiarise students using the logical meanings of the logical connectives with their properties in order to read and comprehend mathematical proofs as well as to write mathematical proofs with valid statements using logically correct arguments.