Week 3


  • Coaching schedule is posted, see the sidebar.
  • Homework(s)
  • Conditional, biconditional statements again: if α then β with α == false and β == false –> if α then β == true
  • More on power sets
  • exercise 1.4.2 (3) (Let's write the truth table and create a Venn diagram together)
  • Some scheme/DrRacket constructs that will help for our…
  • Lab this evening



  • Part 1,From Makinson, p24 exercise 1.4 part b. Due one week from today, Feb.12.
    • True or False: the power set of (A AND B) = the power set of A and the power set of B… provide proof or counter example.
  • Part 2. More to come.