Logic, sets and proofs

The first mathematics course: the language of rigour. Propositional logic, quantifiers, set theory, proof methods and induction. The toolbox that makes every proof possible, accessible to a reader with a scientific high school background.

1. 01
   Propositions and logical connectives

   The language of rigour: how true-or-false statements combine into reasoning, and why 'false implies true' is true.
   24 min
2. 02
   Predicates and quantifiers

   How 'for all' and 'there exists' turn an open statement into a truth, and why the order of quantifiers changes everything.
   26 min
3. 03
   Sets and operations

   How membership, inclusion and three operations turn the connectives of chapter 1 into objects you can manipulate.
   28 min