https://at-ceu.studyguide.timeedit.net/modules/UGST4053?type=COREThis course will introduce students to formal methods for deductive reasoning. It will be divided into two parts: the first part will be dedicated to propositional logic, the second part to predicate logic. Both logics will be analysed in a classical setting. We will work with syntactic and semantic methods for deductive reasoning and discuss fundamental properties of a logic.