Problem 1. (30 points)

Consider the argument

-(-P V -Q), -P 上 Q

Use the natural deduction method covered in lectures to demonstrate that the argument is valid.

Problem 2. (40 points)

Use Venn diagrams in stages to illustrate the identity of the sets

C = (C / A) n ((C / B) n (A n C))

by starting with a diagram containing the sets A, B, and C and showing each set operation

used in the identity above (e.g., show C / B and A n C, then (C / B) n (A n C), and so on). Also, provide an argument in words to prove this identity.

Problem 3. (30 points)

Which of the following functions is injective, surjective, or bijective?

1.

f : R / {0} → R

x →

2.

g : R / {0} → R / {0}

x →

3.

h : [1, 4] → [0, 1]

x →

4.

s : [1, 4] → [ , 1]

x →

Here, [a, b] = {x e RIa < x < b}. Be sure to defend your assertions.