For Wednesday:

1. no proof for feedback because there’s a content module quiz
2. if you wish to do a grade improvement for the sets module, please get me a study sheet in the next few days.  Further info is above in Grading > Content Modules > Grade Improvement and the Study Sheet tab has info on making a nice study sheet.
3. Wednesday is the Logic quiz.  Here are the topics:
   1. 1. boolean expressions and truth tables
      2. converse and contrapositive
      3. quantifiers (for all, there exists)
      4. negating statements
      5. logical equivalence, logical laws and algebraic manipulations of boolean expressions
4. Practice problems for the logic quiz (solutions here).