**Week beginning** | **Topics** | **Notes** |

01/22 | *Welcome* Beginning Logic; Statements and Connectives; Truth Tables | Section 1.1.1 |

01/29 | Conditionals; Biconditionals Quantifiers | Sections 1.1.2-4 |

02/05 | Useful Denials Proofs (Direct Proofs) Proof by Cases | Section 1.2, parts of 1.1.1-4 and 2.1.1-2 |

02/12 | More Proofs (working backwards, biconditionals, uniqueness) Indirect Proofs (Contradiction and contrapositive) | Sections 2.1.3-5, 2.2.1-2 |

02/19 | Two Important Theorems Mixed Quantifiers Mathematical Induction | Sections 2.3-4, 3.1 |

02/26 | Strong Induction Introduction to Sets, Subsets | Sections 3.2, 4.1 |

03/05 | Operations on sets
**Midterm I** (03/08) | Part of Section 4.2 |

03/12 | *Spring Break* | No classes this week |

03/19 | Cartesian Products and Power Sets Arbitrary Unions and Intersections | Remainder of Section 4.2, 4.3 |