Mathematics III - Logic

About this programme

This course is intended as a first course in logic. It treats the two most important logics, propositional logic and predicate logic, in depth, and shows how they are used in modelling reasoning, especially mathematical reasoning. In particular, we define and study the formal language of predicate logic, its semantics (models), and natural deduction for it. We will prove soundness and completeness of natural deduction with respect to the semantics, and give some applications of these theorems. The course is assessed through written examination, with grades between A-F where A-E are passing grades. To follow your passion. To be close to international career opportunities. To explore city and countryside. In Stockholm you can really get the best of both worlds. Here we explain all the different steps you need to go through when applying to a course or programme. Stockholm University arranges regular webinars and participates in educational fairs and events virtually and around the world to meet students and inform them about our study programmes. Every year Stockholm University welcomes thousands of international students from all over the world. Each bringing their own backpack full of experiences, expectations and dreams. Education and research are closely linked at Stockholm University. As a student, you will have direct contact with leading researchers in your field and access to the most recent scientific findings. Are you wondering what former students thought about your programme? Are you curious about what your education can lead to after graduation? Hear from