- IMPORTANT: I’m instituting a policy that you must attempt at least 2 of the 3 written attempts for a badge to be eligible for an oral exam for that badge. The oral exams are not meant to be a substitute for the written work, they are meant to help work out the bugs after you’ve put in the hard work. Note: if you want a one-time exemption for this because this is a new policy and you didn’t anticipate it, drop me an email. But you must do the written badges from now on to have an attempt at an oral exam.
- To Know: There’s a proof by contrapositive due Monday. You can now schedule an oral exam for Sets IV if you need/want. Logic badges will be gradually appearing, beginning with truth tables (this week), then logical equivalences (for next week), then the others.
- To do: Read (actively, as always!) Section 2.7 (Quantifiers), and do all the exercises for 2.7 to hand in on canvas.