Question: PHIL 106: Final Exam

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)

1. (Q É ~J) É (M É ~D)                    

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

Solution:

Custom Essay Paper or Answer!

error: Content is protected !!
Open chat
1
We are on whatsapp.
Hello👋
We are here to help you.