Philosophy - Critical Thinking and Logic

Phil 102 [A & B] Name: _______________________ Test Chapter #5 Section: ______________________ Due date: In class11/15/16 plus homework from Chapter 5 (5.2 and 5.4). Staple your test and paperclip your homework –you will turn them in separately. You must take this test without the help of another person but consulting the text and/or other materials is allowed. Receiving help from another person on this test will constitute a breach of academic integrity and the violation will be pursued to the fullest extent possible –resulting in the grade of an “F” for the course at minimum. Proofs Using RPI, RR, CP, and TI Directions: Complete 10 of the 11 following proofs using the Rules of Proper Inference and the Rules of Replacement. You may also elect to construct a Conditional Proof or Indirect Proof. (1) Prove: E ⊃ M

[#] [#] (#) Premise or Inference # # # RPI or RR (1) A ⊃ (E ⊃ ∼F) P (2) H ∨ (∼F ⊃ M) P (3) A P (4) ∼H P (5) (6) (7) (8) (9)

(2) Prove: ∼P

[#] [#] (#) Premise or Inference # # # RPI or RR (1) (L ≡ N) ⊃ C P (2) (L ≡ N) ∨ (P ⊃ ∼E) P (3) ∼E ⊃ C P (4) ∼C P (5) (6) (7) (8) (9) (10)

(3) Prove: A ⊃ K

[#] [#] (#) Premise or Inference # # # RPI or RR (1) (B ∨ F) ⊃ (A ⊃ G) P (2) (B ∨ E) ⊃ (G ⊃ K) P (3) B • ∼H P (4) (5) (6) (7) (8) (9) (10) (11)

(4) Prove: G

[#] [#] (#) Premise or Inference # # # RPI or RR (1) (∼K • ∼N) ⊃ [(∼P ⊃ K)•(∼R ⊃ G)] P (2) K ⊃ N P (3) ∼N • B P (4) ∼P ∨ ∼R P (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16)

(5) Prove: ∼S • ∼J

[#] [#] (#) Premise or Inference # # # RPI or RR (1) ∼(J ∨ K) P (2) B ⊃ K P (3) S ⊃ B P (4) (5) (6) (7) (8) (9) (10) (11) (12)

(6) Prove: ∼D

[#] [#] (#) Premise or Inference # # # RPI or RR (1) ∼(F • A) P (2) ∼(L ∨ ∼A) P (3) D ⊃ (F ∨ L) P (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15)

(7) Prove: ∼(K ∨ H)

[#] [#] (#) Premise or Inference # # # RPI or RR (1) ∼(K ∨ F) P (2) ∼F ⊃ (K ∨ C) P (3) (G ∨ C) ⊃ ∼H P (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16)

(8) Prove: ∼(B • F)

[#] [#] (#) Premise or Inference # # # RPI or RR (1) (B ⊃ G) • (F ⊃ N) P (2) ∼(G • N) P (3) (4) (5) (6) (7) (8) (9) (10) (11) (12)

(9) Prove: I

[#] [#] (#) Premise or Inference # # # RPI or RR (1) (I ⊃ E) ⊃ C P (2) C ⊃ ∼C P (3) (4) (5) (6) (7) (8) (9) (10)

(10) Prove: F ≡ A

[#] [#] (#) Premise or Inference # # # RPI or RR (1) Q ⊃ (∼A ⊃ ∼F) P (2) (∼Q ⊃ R) ⊃ (∼A ∨ F) P (3) Q P (4) (5) (6) (7) (8) (9) (10) (11) (12) (13)

Requires Fancy Footwork: (11) Prove: N

[#] [#] (#) Premise or Inference # # # RPI or RR (1) (K ⊃ K) ⊃ R P (2) (R v M) ⊃ N P (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)