| Name (PRINTED): | |
| Student ID #: | |
| Section # (or TA's: | |
| name and time) |
| CMSC 250 | Exam #2 | Tues., Nov. 22, 2005 |
|
| Let A, B and C be arbitrary non empty sets | |
| Let (x, y) be arbitraty in U | |
| Assume
|
|
|
|
by def. of set diff. |
|
|
by conj. simp. |
|
|
by def. of |
| by conj. simp. | |
| by conj. simp. | |
|
|
by disj. add. |
|
|
|
|
|
by conj. add. |
|
|
by def of |
|
|
by C.C.W. without contradiction |
|
|
by Gen. from G.P. |
|
|
by def. of subset |
|
|
by Gen. from G.P. |
|
|
|
|
|
Alternative representation of set diff. |
|
|
assoc. and comm. |
|
|
intersection with comp. |
| intersection with empty set | |
|
|
since the empty set is a subset of every set |
|
|
by substitution |
|
|
|
|
|
by series sep. |
|
|
by series expansion |
|
|
algebra |
|
|
by IH |
| algebra |
|
|
|
|
|
by closure of Z in sub. |
|
|
by subtracting positive integer |
|
|
|
|
|
by I.H. |
|
|
def. of mod. |
|
|
def. of mod. |
|
|
|
|
|
alg. |
|
|
alg. |
|
|
alg. |
|
|
alg. |
|
|
alg. |
|
|
alg. |
| def. of mod. |
|
|
by IH |
|
|
adding both side by 2 |
|
|
alg |
|
|
alg. |
| Assume
|
|
|
|
dividing by 2 |
|
|
|
|
|
alg. |
|
|
|
| contradiction | |
|
|
CCW with contradiction |
|
|
transitivity |
|
|