Symbolic Logic PHIL 1150 Exam No.2 Version A. Name______________________

(Total: 30 points, 10 questions; each question is worth 3 points)

Part I: use the 8 inference rules (Simp. Conj. D.S., H.S., DIL, M.P., M.T., Add) to prove the following arguments. You are NOT allowed to use any of the 10 replacement rules, nor C.P. or I.P.

a)

1. (AvB) •(CD)

2. ~C~A

3. ~B•~D /~(PQ)

b)

1. ((PQ)v~S) •~C

2. W ((PQ) A)

3. (WvC)•(~SB) /AvB

Part II: Use 8 inference rules and 10 replacement rules (D.N., C.E., B.E., DeM., Dup., Assoc., Commu., Dist., Contrap., Export.) to prove the following arguments. You are NOT allowed to use C.P. or I.P.

c)

1. ~C ⊃(E ∙ F)

2. E ∙~(FvD)

3. (~Av~B) ⊃(~CvD) / ∴A

d)

1. (A B) C

2. (C A) B

e)

1. M (I ≡ F)

2. K (I ≡ D)

3. L (I ≡S)

4. (S T) • (F T)

5. (D • T) • I / (MvKvL)

f)

1. A ≡B

2. ~(BvW)

3. R⊃ (BvA)

4. ((PvB) ≡R) ⊃(AvW) /∴ PvQ

g)

1. J ≡ K

2. ~K≡ ~L / ∴ J ≡ L

Part III: C.P. (conditional proof), I.P. (indirect proof), and proof of theorems.

Order Now

1. Use C.P. or/and I.P. to prove the following.

h)

1. (A v B) ⊃ (F• D)

2. ~(A •~ D)

3. ~F ⊃~ (C• D)

4. C v A / ∴ A≡~C

i)

1. A⊃(B⊃C)

2. (C•D)⊃E

3. F⊃~(D⊃E) /∴ A⊃(B⊃~F)

2. Prove the following theorem.

j) ((pvq) ⊃ (p•q)) ≡(p≡q)

Payment Methods

All online transactions are done using all major Credit Cards or Electronic Check through PayPal. These are safe, secure, and efficient online payment methods.

Our customer support team is here to answer your questions. Ask us anything!

👋 Hi, how can I help?