CS 281 Test II

June 16, 1997

1. Find all the subsets of the following sets:
(a) {1,2,3}
(b) { tex2html_wrap_inline38 }.

2. Find the following Cartesian products:
(a) { tex2html_wrap_inline40
(b) { tex2html_wrap_inline42

3 (a) If a set A is not a subset of B and tex2html_wrap_inline48 ,
then does tex2html_wrap_inline50 hold ? Give your reason.
(b) Prove tex2html_wrap_inline52 .

4 (a) Recursively define the set of odd integers.
(b) Recursively define the set of natural numbers which produce 2 for the remainder when divided by 3.

5. Prove the following by induction:
(a) tex2html_wrap_inline58 .
(b) tex2html_wrap_inline60 if tex2html_wrap_inline62 for i = 1,2, ..., n.

Logical Equivalences and Implications

tabular30





S. Toida
Wed Jun 18 11:12:38 EDT 1997