1.

Suppose statement P: (∃ y ) ( ∀ x ) ( x <2 y )

Write statement ~P

2. Which of the following are propositions?

a) x 2+ x+1
b) √ 16+ √ 25=9
c) Where are going?
d) Let X, Y, and Z be integers if X divides Y and Y divides Z then X divides Z
e) No, I am not Tim

3. Determine which of the following statements are true.

a)∅ ={ ∅ }
b){ ∅ }⊆ ∅
c)∅ ∈{ ∅ }
d)1 ∈{1 , 2 }
e){ 1 } ∈{ {1 } , {2 }}
f)1 ∈ { {1 } }
g){ 1 } ⊆{1 , {2 }}
h){ 2 } ⊆{{2}}
I)∅ ⊆ {{1 }}

4. Give a set A={a , b , c , d ,e }

(1)Find | A|
(2)Describe P(A)

5. Give are sets A={1,2,3,4,5} and B={2,3,4,5,6,7}

Find (1) A ∩ B (2) A ∪ B (3) A−B (4) B− A

6. Prove or find a counterexample to the following statement. For any

sets P, Q, and R, ( P ∪ Q ) ∩ R=P ∪(Q ∩ R)

7. Determine which of the following statements are true

a) If A ⊇ B , then A=B
b) Since ∅ is a set that is a member of every set, there is a set that is a number of
every set
c) If A=B , then A ⊇ B
d) If sets A= {1, 3, 5} and B= {1, 3, 7} then A ∩ B={1 ,3 }
e) {{1, 2, 3}}∈ N ∪ P(N )
f) {{1 ,2 , 3 }}⊆ N ∪ P( N )
g) The empty set is a subset of every set.
h)If sets A={1,2,3,4,5,6} and B={3,4,6} then A−B={1 , 2}
I) {1 , 2 ,3 }∈ N ∪ P(N )
j) {1 , 2 ,3 }⊆ N ∪ P( N )

8. Find the truth set of the propositional function ( x 2 +1 ) ( x−3 ) ( x 2−2 ) ( 2 x−3 )=0,
when it is given that the set of meanings of this propositional function is each of the
following.
(a) Z (b)Q (c) R (d)C

9. Which of the following is logically equivalent to P →Q

(a) Q → P (b) P ∪ Q (c) P ∩( Q)

10. Prove or give a counterexample. For any two sets A and B, at least one of the
following statements is true: (a) A ⊆ B (b) B⊆ A (c) A=B

11. Write the converse and contrapositive of the following expression: “If √ 2< √ 5,
then 2<5.”

12. Determine which of the following expressions are tautologies.

(a) P → P
(b) P ∩(Q ∪ R)↔(P ∩Q)∪(P ∩ R)
(c) P ∪ Q↔( P → Q)

13. Either prove or find a counterexample to the following statement: “If ( A ⊆ B) and
(C ⊆ D), then A ∩C ⊆ B ∩ D .”

14. Show that (P →Q) ∩(P ∩ ( ∼ Q ) ) is a contradiction.