Program, Semester Week 1

Propositional Logic

The first week of the course is dedicated to an introduction to propositional logic. Propositional logic is an important and fundamental branch of mathematics that constitutes a cornerstone for how mathematical statements – propositions – are formulated and for how mathematical arguments are presented.

Prior to week 1, please familiarize yourself with the course structure by looking through the pages of this website. In the course’s DTU Learn module you can check which group you are assigned to. Look out for a welcome message from your group’s Long Day TA who will welcome you at the exercise session on the first day.

Remark

The lectures in weeks 1 and 2 will be taught by guest lecturer Jens K. Gravesen, associate professor at DTU Compute.

Key Terms

The logical operators “and” \(\land\), “or” \(\lor\), and “implies” \(\Rightarrow\). Logical equivalence and biimplication \(\Leftrightarrow\). Truth value and truth table. Tautology \(\mathbf T\) and contradiction/falsehood \(\mathbf F\). Rules for propositional logic. Proof by contradiction. Proof by contrapositive.

Preparation and Syllabus

This week will cover Chapter [01 - Logic]. Note that the textbook can be purchased in the DTU Polyteknisk bookstore.

Exercises

Exercises for Long Day.

Exercises for Short Day.