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.