**For each of the following problems, use the inference rules, replacement rules, indirect proof and/or conditional proof to derive the conclusion.**

1)

1. W É (P v C)

2. ~P

3. W/C

2)

1. T É O

2. R v ~O

3. ~R/~T

3)

2. Q É M

3. M É ~J/Q É ~D

4)

1. T É (Q & F)

2. T & C/Q v O

5)

1. F É ~U

2. ~F É P

3. F v ~F/~U v P

6)

1. (J v F) v M

2. (J v M) É ~P

3. ~F/~(F v P)

7)

1. (A Ú B) É (C & D)

2. C É ~D/~A (Hint: try indirect proof)

8)

1. (A & B) É C

2. B & ~C/~A (Hint: try indirect proof)

9)

1. A v B

2. A ≡ (C & D)

3. B É (D & G)/D (Hint: Try indirect proof)

10)

Use a premise-free proof to prove: [(P É Q) & P] É Q