650 likes | 794 Views
Presentation: “ Theorems ". Introductory Logic PHI 120. Changed Presentation. Homework. Homework over Break ( a) S1 - S27, T1 - T4 (from book ) R . Smith Guides (available online) " Proofs without tears " " Proofs with even fewer tears “ Study class presentations.
E N D
Presentation: “Theorems" Introductory LogicPHI 120 Changed Presentation
Homework • Homework over Break • (a) S1 - S27, T1 - T4 (from book) • R. Smith Guides (available online) • "Proofs without tears" • "Proofs with even fewer tears“ • Study class presentations
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1 (1) ~P -> Q A
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q • (1) ~P -> Q A (2)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q • (1) ~P -> Q A • (2) ~P A (3)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q • (1) ~P -> Q A • (2) ~P A (3) Q 1,2 ->E
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q • (1) ~P -> Q A • (2) ~P A (3) Q 1,2 ->E
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1 (1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E (4) ?? Make the wedge (i.e., the conclusion)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI Is the final line the main conclusion? Are the assumptions correct on this final line?
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI Too many assumptions!!!!
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI Too many assumptions!!!! Either ->I or RAA Conclusion not an ->
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI (5) A Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI (5) ~(P v Q)A Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q)A Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q) A Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI • (5) ~(P v Q) A (6) Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1 (1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q) A (6) 4,5 RAA(?) Strategy of RAA 1. Assume the denial of the conclusion 2. Derive a contradiction 3. Use RAA to deny/discharge an assumption
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1 (1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q) A (6) 4,5 RAA(?) Assumptions • Which assumption should you discharge first? • 1, 2, or 5
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q) A (6) 4,5 RAA(?) not [1] • Which assumption should you discharge first? • 1, 2, or 5
P v Q ⊣⊢ ~P -> Q Multiple RAA Problems Discharge the RAA assumption last P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q) A (6) 4,5 RAA(?) not yet [5] • Which assumption should you discharge first? • 1, 2, or 5
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A (6) 4,5 RAA(2)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2 (2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A (6) P 4,5 RAA(2)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) (7) ??
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q6 vI Look at your assumptions Is the final line the main conclusion? Are the assumptions correct on this final line?
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q6 vI
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI (8) ??
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI • (5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI (8) 5,7 RAA(5) now [5]
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI • (5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI (8) P v Q5,7 RAA(5)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5(5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI (8) P v Q 5,7 RAA(5)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1 (1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI • (5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI 1 (8) P v Q 5,7 RAA(5)
P v Q ⊣⊢ ~P -> Q P v Q ⊢ ~P -> Q • (1) P v Q A • (2) ~P A 1,2 (3) Q 1,2 vE 1 (4) ~P -> Q 3 ->I(2) ~P -> Q ⊢ P v Q 1(1) ~P -> Q A 2(2) ~P A 1,2 (3) Q 1,2 ->E 1,2 (4) P v Q 3 vI 5 (5) ~(P v Q) A 1,5 (6) P 4,5 RAA(2) 1,5 (7) P v Q 6 vI 1 (8) P v Q 5,7 RAA(5) Is the final line the main conclusion? Are the assumptions correct on this final line?
Theorems Sentences that can be proven from an empty set of premises
Sequents • A sequent contains three elements P ⊢ Q -> P
Sequents • A sequent contains three elements P⊢ Q -> P Premises (basic assumptions)
Sequents • A sequent contains three elements P ⊢ Q -> P Turnstile (conclusion indicator)
Sequents • A sequent contains three elements P ⊢ Q -> P Conclusion
Theorems • A theorem contains only two elements ⊢ P -> (Q -> P) Turnstile (conclusion indicator)
Theorems • A theorem contains only two elements ⊢ P -> (Q -> P) Conclusion Remember: every proof begins with at least one assumption.
Set of Theorems T1: ⊢ P->P Identity T2: ⊢ P v ~P Excluded Middle T3: ⊢ ~(P&~P) Non-Contradiction T4:* ⊢ P->(Q->P) Weakening T5:* ⊢ (P->Q) v (Q->P) Paradox of Material Implication T6: ⊢ P<->~~P Double Negation T7: ⊢ (P<->Q)<->(Q<->P)
Weakening ⊢ P -> (Q -> P) Every proof begins with at least one assumption.
Weakening ⊢ P -> (Q -> P) 1 (1) ?? A Every proof begins with at least one assumption.
Weakening ⊢ P -> (Q -> P) 1 (1) ?? A Strategy of -> I Assume the antecedent of the conclusion Solve for the consequent Apply ->I rule
Weakening ⊢ P -> (Q -> P) 1 (1) P A Strategy of -> I Assume the antecedent of the conclusion Solve for the consequent Apply ->I rule
Weakening (2) ⊢ P -> (Q -> P) 1 (1) P A Strategy of -> I Assume the antecedent of the conclusion Solve for the consequent Apply ->I rule