introductory logic phi 120

68
Introductory Logic PHI 120 Presentation: “Double Turnstile Problems"

Upload: bebe

Post on 23-Feb-2016

44 views

Category:

Documents


0 download

DESCRIPTION

Presentation: “ Double Turnstile Problems ". Introductory Logic PHI 120. Homework. Proofs: 1.5.1 (A/H, p.29-30) S21 – S24 (v ->) S25 – S27 (the dilemmas) S44 (Imp/Exp) External Web Pages: “ R. Smith Guide: Proofs without tears ” available through class web page. ->I and RAA. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Introductory Logic PHI 120

Introductory LogicPHI 120

Presentation: “Double Turnstile Problems"

Page 2: Introductory Logic PHI 120

Homework• Proofs: 1.5.1 (A/H, p.29-30)

– S21 – S24 (v ->)

– S25 – S27 (the dilemmas)

– S44 (Imp/Exp)

• External Web Pages: – “R. Smith Guide: Proofs without tears”• available through class web page

Page 3: Introductory Logic PHI 120

->I and RAA

Page 4: Introductory Logic PHI 120

Internalize These Strategies

->I1. Assume antecedent of

the conclusion

2. Solve for the consequent

3. Apply ->I rule

RAA1. Assume the denial of

what you’re solving for

2. Derive a contradiction

3. Apply RAA rule

Page 5: Introductory Logic PHI 120

P v Q ~P -> Q⊣⊢Double Turnstile Problems

Page 6: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> Q

Page 7: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢ ~P -> Q P v Q⊢

Page 8: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢ ~P -> Q P v Q⊢

Page 9: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A

(2)

~P -> Q P v Q⊢

Page 10: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P ⊢ -> Q1 (1) P v Q A

(2) ??

~P -> Q P v Q⊢

Page 11: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P ⊢ -> Q1 (1) P v Q A

(2) ??

~P -> Q P v Q⊢

Page 12: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ⊢ ~P -> Q1 (1) P v Q A

(2) ??

~P -> Q P v Q⊢

Page 13: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A

(2) ??

~P -> Q P v Q⊢

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 14: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ⊢ ~P -> Q1 (1) P v Q A2 (2) ~P A

~P -> Q P v Q⊢

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 15: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P⊢ -> Q1 (1) P v Q A2 (2) ~P A

~P -> Q P v Q⊢We now have too many assumptions!

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 16: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> ⊢ Q1 (1) P v Q A2 (2) ~P A

(3) ??

~P -> Q P v Q⊢

Phase II: Solve for consequent

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 17: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A

(3) ??

~P -> Q P v Q⊢

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 18: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A

(3) Q 1,2 vE

~P -> Q P v Q⊢

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 19: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE

~P -> Q P v Q⊢

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Page 20: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE

(4) ??

~P -> Q P v Q⊢

Strategy of ->I1. Assume the antecedent of the conclusion2. Solve for the consequent (as a conclusion)3. Apply ->I rule.

Phase III: Apply ->I rule

Page 21: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE

(4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢

Page 22: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE

(4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢

Page 23: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE

(4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢

Page 24: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢

Page 25: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢

1. Is the final line the main conclusion?2. Are the assumptions correct on this final line?

Page 26: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢

Page 27: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A

Page 28: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A

(2)

Page 29: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P ⊢ v Q1 (1) ~P -> Q A

(2)

Page 30: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A

(2) ??

Look at the premise in relation to the conclusion?

Page 31: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q ⊢ P v Q1 (1) ~P -> Q A

(2) ??

Look at the premise in relation to the conclusion?

Page 32: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A

(2) A

Assume what?

Page 33: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A

The antecedent of (1)

Page 34: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A

(3)

Page 35: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A

(3) Q 1,2 ->E

Page 36: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A

(3) Q 1,2 ->E

Page 37: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E

Page 38: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q ⊢ P v Q1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E

(4) ??

Make the wedge (i.e., the conclusion)

Page 39: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI

Page 40: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI

1. Is the final line the main conclusion?2. Are the assumptions correct on this final line?

Page 41: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI

Too many assumptions!!!!

Page 42: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI

To discharge assumptions:->I or RAA?

Page 43: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI

(5) A

Strategy of RAA1. Assume the denial of the conclusion2. Derive a contradiction3. Use RAA to deny/discharge an assumption

Page 44: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI

(5) ~(P v Q) A

Strategy of RAA1. Assume the denial of the conclusion2. Derive a contradiction3. Use RAA to deny/discharge an assumption

Page 45: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

Strategy of RAA1. Assume the denial of the conclusion2. Derive a contradiction3. Use RAA to deny/discharge an assumption

Page 46: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

Strategy of RAA1. Assume the denial of the conclusion2. Derive a contradiction3. Use RAA to deny/discharge an assumption

Page 47: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6)Strategy of RAA1. Assume the denial of the conclusion2. Derive a contradiction3. Use RAA to deny/discharge an assumption

Page 48: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6) 4,5 RAA(?) Strategy of RAA1. Assume the denial of the conclusion2. Derive a contradiction3. Use RAA to deny/discharge an assumption

Page 49: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6) 4,5 RAA(?) Which assumption should you discharge first?• 1, 2, or 5

Assumptions

Page 50: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6) 4,5 RAA(?)

not [1]

Which assumption should you discharge first?• 1, 2, or 5

Page 51: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6) 4,5 RAA(?) not [5]

Which assumption should you discharge first?• 1, 2, or 5

Page 52: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6) 4,5 RAA(2)

Page 53: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A

(6) P 4,5 RAA(2)

Page 54: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2)

Page 55: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2)

Page 56: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2)

(7) ??

Page 57: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vILook at your assumptions

1. Is the final line the main conclusion?2. Are the assumptions correct on this final line?

Page 58: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI

Page 59: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI

(8) ??

Page 60: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI

(8) 5,7 RAA(5)

Page 61: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI

(8) P v Q 5,7 RAA(5)

Page 62: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI

(8) P v Q 5,7 RAA(5)

Page 63: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI1 (8) P v Q 5,7 RAA(5)

Page 64: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI1 (8) P v Q 5,7 RAA(5)

1. Is the final line the main conclusion?2. Are the assumptions correct on this final line?

Page 65: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI1 (8) P v Q 5,7 RAA(5)

Typical Structure for multiple RAA

Page 66: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI1 (8) P v Q 5,7 RAA(5)

m,n RAA (k)

Page 67: Introductory Logic PHI 120

P v Q ⊣⊢ ~P -> QP v Q ~P -> Q⊢1 (1) P v Q A2 (2) ~P A1,2 (3) Q 1,2 vE1 (4) ~P -> Q 3 ->I(2)

~P -> Q P v Q⊢1 (1) ~P -> Q A2 (2) ~P A1,2 (3) Q 1,2 ->E1,2 (4) P v Q 3 vI5 (5) ~(P v Q) A1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI1 (8) P v Q 5,7 RAA(5)

Page 68: Introductory Logic PHI 120

Homework• Proofs: 1.5.1 (A/H, p.29-30)

– S21 – S24 (v ->)

– S25 – S27 (the dilemmas)

– S44 (Imp/Exp)

• External Web Pages: “R. Smith Guides”– available through class web page