MC36 -- Relation-Based Structures -- Fall 1998

---

---

Assignments for Week 3

---

Problem Set #3 - html   postscript
I recommend the postscipt since I can't make upside down As in html.

---

Reading for Monday, September 28:

• Grimaldi:  2.4
• How do you negate a statement that has universal or existential quantifiers?  (middle of page 109-110)
• Does order matter?  What is the difference between "for all x, there exists y, such that p(x,y)" and "there exists y, for all x, such that p(x,y)"?  Work through example 2.49 carefully.
• Try 2.4 #5,15

---

Reading for Tuesday, September 29:

• Grimaldi:  2.4, 2.5
• How do the quantifiers interact with "and"  and "or" [inclusive :-) ]   {/\, \/}?  Look at Table 2.22 on p108.
• Universal Specification and Univeral Generalization.  What's it all about? (p124 and p.128)

---

Reading for Thursday, October 1:

• Grimaldi:  2.5, really this time

---

Reading for Friday, October 2:

• Grimaldi:  3.1
• What does it mean for two sets to be equal?
• What is the power set of A?  If |A| =n, how large is the power set of A?
• Try 3.1 #3.
• What is Russel's paradox?  (See Ex. 25, p156)