Logic and Methods of Proof

Discover the foundations of mathematical reasoning: logical connectives, truth tables, quantifiers and set operations. You will also learn the main methods of proof, the essential groundwork before tackling proof by induction.