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
  
  

Lectures

• Today's Lecture
• Possibly the best commercial from Sunday

Homework

• 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.

• Today's lecture: Relations
• Homework, Part 2. Both parts are due on Tuesday, February 12. Part 1 should be hand written and handed in before class. Part 2 can be emailed to me before the end of the day.
  • The helper file
  • The Template File