Agenda, 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.

Remark#

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.

Key Terms#

The logical operators “and” \(\land\), “or” \(\lor\), and “implies” \(\Rightarrow\). Logical equivalence and biimplication \(\Leftrightarrow\). Truth values and truth tables. Tautologies \(\mathbf T\) and contradictions/falsehoods \(\mathbf F\). Rules for propositional logic. Proof by contradiction and proof by contrapositive.

Preparation and Syllabus#

This week will cover Chapter 1 in [the textbook]. We recommend that you read this chapter before the first lesson, and skim or read through it once more after having attended lectures and worked through the exercises.

The textbook can be found in an electronic version on this website, and can also be purchased in a physical form in the DTU Polyteknisk bookstore. For the exam you cannot bring the electronic version, so it is recommended that you acquire it in physical form.

Exercises#

Exercises for Long Day.

Exercises for Short Day.