next up previous
Next: About this document


Discrete Structures Anna Karlin, 426C Sieg
CSE 321, Spring 1998

Homework #2
Due at the beginning of class, Wednesday, April 15

Reading: Rosen, Sections 1.4 - 1.6, pp 76-77, 3.1

Problems:

  1. Rosen, Section 1.3, problem 6, parts a, and c.
  2. Rosen, Section 1.3, problem 10, parts f, h, i and j. For each proposition, write down its negation.
  3. Rosen, Section 1.3, problem 20. What is the universe of discourse?
  4. Rosen, Section 1.3, problem 26. State an example of a situation where the two propositions are not equivalent (this is called a proof by counterexample). The situation should include a definition for P(x) and Q(x) as well as a universe of discourse.
  5. State whether each of these is a proposition, a predicate (propositional function), or neither. (x and y are variables, and P and Q are predicates)
    1. tex2html_wrap_inline56
    2. tex2html_wrap_inline58
    3. tex2html_wrap_inline60
  6. Rosen, Section 1.4, problem 2, parts a and b.
  7. List the members of the set

    displaymath40

  8. What is the cardinality of
    1. tex2html_wrap_inline62
    2. tex2html_wrap_inline64
    3. tex2html_wrap_inline66
  9. Rosen, Section 1.4, problem 14.
  10. If tex2html_wrap_inline68 are sets and tex2html_wrap_inline70 , then what is the cardinality of

    displaymath41

    (Something to think about: why is it called a Cartesian product?)





Anna Karlin
Tue Apr 7 22:30:26 PDT 1998