Computer Science 260
Assignment 10
Please submit your assignment electronically via moodle. Submissions will be accepted
in either plain text (.txt) or PDF. Clearly define all non-standard symbols used.
1. Epp p 366 # 32 (8 marks) Use the element method and proof by contradiction.
Given that A ⊆ B and B ∩ C = ∅ show that A ∩ C = ∅.
2. Epp p 373 # 43 (8 marks) Construct an algebraic proof. Cite a property from Thm
6.2.2 on page 355 of the book at each step. Simplify
((A ∩ (B ∪ C)) ∩ (A − B)) ∩ (B ∪ C
c
)
3. Epp p 459 # 53 (8 marks)
