1 / 59

Introductory Logic PHI 120

Presentation: “Solving Proofs". Introductory Logic PHI 120. Bring the Rules Handout to lecture. Homework. Memorize the primitive rules, except ->I and RAA Ex. 1.4.2 (according to these directions) For Each Sequent, answer these two questions: What is the conclusion?

archer
Download Presentation

Introductory Logic PHI 120

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Presentation: “Solving Proofs" Introductory LogicPHI 120 Bring the Rules Handout to lecture

  2. Homework • Memorize the primitive rules, except ->I and RAA • Ex. 1.4.2 (according to these directions)For Each Sequent, answer these two questions: • What is the conclusion? • How is the conclusion embedded in the premises?

  3. Homework I • Memorize the primitive rules • Capable of writing the annotation mvI • Cite how many premises make up each rule one premise rule • Cite what kind of premises make up each rule can be any kind of wff (i.e., one of the disjuncts) • Cite what sort of conclusion may be derived a disjunction Except ->I and RAA See The Rules Handout

  4. Homework I • Memorize the primitive rules • Capable of writing the annotation mvI • Cite how many premises make up each rule one premise rule • Cite what kind of premises make up each rule can be any kind of wff (i.e., one of the disjuncts) • Cite what sort of conclusion may be derived a disjunction Except ->I and RAA See The Rules Handout

  5. Content of Today’s Lesson • Proof Solving Strategy • The Rules • Doing Proofs

  6. Expect a Learning Curve with this New Material Homework is imperative Study these presentations

  7. Strategy “Natural Deduction” Solving Proofs

  8. Key Lesson Today (1) Read Conclusion (2) Find Conclusion in Premises • P -> Q, Q -> R ⊢ P -> R Valid Argument: True Premises Guarantee a True Conclusion

  9. Ex. 1.4.2 Homework II S1 – S10 My Directions Conclusion (1) What is the conclusion? Conclusion in Premises (2.a) Is the conclusion as a whole embedded in any premise? If yes, where? Else… (2.b) Where are the parts that make up the conclusion embedded in the premise(s)? 2) How is the conclusion embedded in the premises?

  10. Conclusion in Premises • Example: S16 P -> Q, Q -> R ⊢ P -> R

  11. Conclusion in Premises • Example: S16 P -> Q, Q -> R ⊢ P -> R C • Conclusion: • a conditional statement • Conclusion in the premises: • The conditional is not embedded in any premise • Its antecedent “P” is the antecedent of the first premise. • Its consequent “R” is the consequent of the second premise. Answers:

  12. The Rules “Natural Deduction” Solving Proofs

  13. Proofs • Rule based system • 10 “primitive” rules • Aim of Proofs • To derive conclusions on basis of given premises using the primitive rules See page 17 – “proof”

  14. What is a Primitive Rule of Proof? • Primitive Rules are Basic Argument Forms • simple valid argument forms • Rule Structure • One conclusion • Premises • Some rules employ one premise • Some rules employ two premises m &E Ampersand-Elimination Given a sentence that is a conjunction, conclude either conjunct m,n &I Ampersand-Introduction Given two sentences, conclude a conjunction of them.

  15. Catch-22 You have to memorize the rules! • To memorize the rules, you need to practice doing proofs. • To practice proofs, you need to have the rules memorized A Solution of Sorts "Rules to Memorize" on The Rules handout

  16. Elimination Introduction &Eampersand elimination vEwedge elimination ->Earrow elimination <->Edouble-arrow elimination &Iampersand introduction vIwedge introduction ->Iarrow introduction <->Idouble-arrow introduction Break a premise Make a conclusion

  17. Proofs The ten “Primitive” Rules

  18. The 10 Rules Rules of Derivation 1 rule of "assumption": A 4 "elimination" rules: &E, vE, ->E, <->E 4 "introduction" rules: &I, vI, ->I, <->I 1 more rule: “RAA” (reductio ad absurdum) = 10 rules

  19. The 10 Rules Rules of Derivation 1 rule of "assumption": A 4 "elimination" rules: &E, vE, ->E, <->E 4 "introduction" rules: &I, vI, ->I, <->I 1 more rule: “RAA” (reductio ad absurdum) = 10 rules

  20. Proofs: 1st Rule • The most basic rule: <A> Rule of Assumption • Every proof begins with assumptions (i.e., basic premises) • You may assume any WFF at any point in a proof Assumption Number the linenumber on which the “A” occurs.

  21. The 10 Rules Rules of Derivation 1 rule of "assumption": A 4 "elimination" rules: &E, vE, ->E, <->E 4 "introduction" rules: &I, vI, ->I, <->I 1 more rule: “RAA” (reductio ad absurdum) = 10 rules

  22. The 10 Rules Rules of Derivation 1 rule of "assumption": A 4 "elimination" rules: &E, vE, ->E, <->E 4 "introduction" rules: &I, vI, ->I, <->I 1 more rule: “RAA” (reductio ad absurdum) = 10 rules

  23. Proofs: 2nd – 9th Rules • Elimination Rules – break premises • Introduction Rules – make conclusions &E, vE, ->E, <->E The Guts of the System &I, vI, ->I, <->I

  24. The 10 Rules Rules of Derivation 1 rule of "assumption": A 4 "elimination" rules: &E, vE, ->E, <->E 4 "introduction" rules: &I, vI, ->I, <->I 1 more rule: “RAA” (reductio ad absurdum) = 10 rules

  25. The 10 Rules Rules of Derivation 1 rule of "assumption": A 4 "elimination" rules: &E, vE, ->E, <->E 4 "introduction" rules: &I, vI, ->I, <->I 1 more rule: “RAA” (reductio ad absurdum) = 10 rules • (later)

  26. Doing Proofs “Natural Deduction” Solving Proofs

  27. Doing Proofs The “annotation” page 18 m&E

  28. P & Q ⊢ P A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  29. P & Q ⊢ P (1) A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  30. P & Q ⊢ P (1) A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  31. P & Q ⊢ P (1) P & Q A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  32. P & Q ⊢ P 1 (1) P & Q A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  33. P & Q ⊢ P 1 (1) P & Q A (2)

  34. Read the sequent! P & Q ⊢ P 1 (1) P & Q A (2) P ??? "P" is embedded in the premise. We will have to break it out of the conjunction. Hence &E.

  35. P & Q ⊢ P 1 (1) P & Q A (2) P ???

  36. P & Q ⊢ P 1 (1) P & Q A (2) P 1 &E

  37. P & Q ⊢ P 1 (1) P & Q A (2) P 1 &E

  38. P & Q ⊢ P 1 (1) P & Q A (2) P 1 &E

  39. P & Q ⊢ P 1 (1) P & Q A (2) P 1 &E

  40. P & Q ⊢ P 1 (1) P & Q A 1 (2) P 1 &E

  41. Doing Proofs The “annotation” m,n &I

  42. P, Q ⊢ Q & P A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  43. P, Q ⊢ Q & P (1) A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  44. P, Q ⊢ Q & P (1) A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  45. P, Q ⊢ Q & P (1) P A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  46. P, Q ⊢ Q & P 1 (1) P A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

  47. P, Q ⊢ Q & P 1 (1) P A (2) A line of a proof contains four elements: (i) line number (number within parentheses)

  48. P, Q ⊢ Q & P 1 (1) P A (2) A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right)

  49. P, Q ⊢ Q & P 1 (1) P A (2) Q A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number)

  50. P, Q ⊢ Q & P 1 (1) P A 2 (2) Q A A line of a proof contains four elements: (i) line number (number within parentheses) (ii) annotation (at the very right) (iii) sentence derived (next to line number) (iv) assumption set (number to very left)

More Related