Week 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.

Key Terms

The logical operators “and”, “or” and “implies” and their symbols. Logical equivalencies. Computation rules for propositional logic. Types of proofs: proof by contradiction and proof by contrapositive.

Preparation and Syllabus

This week covers [01 - Logic].

Exercises

Exercises for Long Day.

Exercises for Short Day.