Chapter 01 The foundations: Logic and Proofs

• 1.1 Propositional Logic
• 1.3 Propositional Equivalencies
• 1.4 Predicates and Quantifiers
• 1.5 Nested Quantifiers
• 1.7 Introduction to Proofs
• 1.8 Proof Methods and Strategy