1. Introductory Logic PHI 120 Presentation: "Natural Deduction – Introduction“ Bring this book to lecture

2. Homework Handout – The Rules The Rules Homework First step in learning the rules: 1.Elimination Rules a.What are they? (Literally, can you name them?) b.Why are they called "elimination" rules? 2.Introduction Rules a.What are they? (Literally, can you name them?) b.Why are they called "introduction rules? Second step in learning the rules: 1.pp. 19-26 a.“primitive rules” b.“elimination” and “introduction” rules (only) Important: bring to every class!! Start learning these rules of deduction

3. Homework Exam 1 Being graded by your TA Will be handed back in your section (In lecture, we’re pressing on)

4. HOW IT WORKS “Natural Deduction” New Unit Logical Proofs Worthwhile to turn to page 40.

5. & (ampersand) & (ampersand)

6. Simple Valid Argument Forms Φ&Ψ ⊢ &E (ampersand elimination) &E (ampersand elimination)

7. Simple Valid Argument Forms Φ&Ψ ⊢ T Let’s presume the conjunction is true

8. Simple Valid Argument Forms Φ&Ψ ⊢ tTt

9. Φ&Ψ ⊢ Φ tTtT Φ&Ψ ⊢ Ψ tTtT &E Ampersand-Elimination Given a sentence that is a conjunction, conclude either conjunct &E Ampersand-Elimination Given a sentence that is a conjunction, conclude either conjunct

10. Simple Valid Argument Forms &I (ampersand introduction) &I (ampersand introduction) Φ,Ψ ⊢

11. Simple Valid Argument Forms Let’s presume the two sentences are true Φ,Ψ ⊢

12. Simple Valid Argument Forms Φ,Ψ ⊢ TT

13. &I Ampersand-Introduction Given two sentences, conclude a conjunction of them. &I Ampersand-Introduction Given two sentences, conclude a conjunction of them. Φ,Ψ ⊢ Φ&Ψ TTtTt Φ,Ψ ⊢ Ψ&Φ TTtTt

14. v (wedge) v (wedge)

15. Simple Valid Argument Forms ΦvΨ,~Φ ⊢ vE (wedge elimination) vE (wedge elimination) Let’s presume the two sentences are true

16. Simple Valid Argument Forms ΦvΨ,~Φ ⊢ T

17. ΦvΨ,~Φ ⊢ fTf

18. ΦvΨ,~Φ ⊢ fTTf

19. ΦvΨ,~Φ ⊢ Ψ fTtTfT ΦvΨ,~Ψ ⊢ Φ tTfTfT vE Wedge-Elimination Given a disjunction and another sentence that is the denial of one of its disjuncts, conclude the other disjunct vE Wedge-Elimination Given a disjunction and another sentence that is the denial of one of its disjuncts, conclude the other disjunct

20. Simple Valid Argument Forms Φ ⊢ Let’s presume this premise is true vI (wedge introduction) vI (wedge introduction)

21. Simple Valid Argument Forms Φ ⊢ T Let’s presume this premise is true

22. Simple Valid Argument Forms Φ ⊢ ΦvΨ Tt

23. Φ ⊢ ΦvΨ TtT Φ ⊢ ΨvΦ TTt vI Wedge-Introduction Given a sentence, conclude any disjunction having it as a disjunct. vI Wedge-Introduction Given a sentence, conclude any disjunction having it as a disjunct.

24. -> (arrow) -> (arrow)

25. Simple Valid Argument Forms Φ->Ψ,Φ ⊢ Let’s presume the two sentences are true ->E (arrow elimination) ->E (arrow elimination)

26. Simple Valid Argument Forms Φ->Ψ,Φ ⊢ T

27. Simple Valid Argument Forms Φ->Ψ,Φ ⊢ tTT

28. Simple Valid Argument Forms Φ->Ψ,Φ ⊢ Ψ tTtTT ->E Arrow-Elimination Given a conditional and its antecedent, conclude the consequent. ->E Arrow-Elimination Given a conditional and its antecedent, conclude the consequent.

29. Simple Valid Argument Forms Ψ ⊢ Let’s presume this premise is true ->I (arrow introduction) ->I (arrow introduction)

30. Simple Valid Argument Forms Ψ ⊢ Φ->Ψ T

31. Simple Valid Argument Forms Ψ ⊢ Φ->Ψ Tt

32. Simple Valid Argument Forms Ψ ⊢ Φ->Ψ TTt ->I Arrow-Introduction Given any sentence, conclude a conditional with it as the consequent. ->I Arrow-Introduction Given any sentence, conclude a conditional with it as the consequent.

33. (double-arrow) (double-arrow)

34. Simple Valid Argument Forms Φ Ψ ⊢ E (double-arrow elimination) E (double-arrow elimination)

35. Simple Valid Argument Forms Φ Ψ ⊢ T Let’s presume the biconditional is true

36. Simple Valid Argument Forms Φ Ψ ⊢ tTt Φ Ψ ⊢ fTf

37. Simple Valid Argument Forms Φ Ψ ⊢ Φ->Ψ tTttTt Φ Ψ ⊢ fTf Antecedent Consequent

38. Simple Valid Argument Forms Φ Ψ ⊢ Ψ->Φ tTttTt Φ Ψ ⊢ fTf Antecedent Consequent

39. Simple Valid Argument Forms Φ Ψ ⊢ Φ->Ψ tTttTt Φ Ψ ⊢ Φ->Ψ fTffTf AntecedentConsequent

40. Simple Valid Argument Forms Φ Ψ ⊢ Φ->Ψ tTttTt Φ Ψ ⊢ Ψ->Φ fTffTf E Double-Arrow Elimination Given a biconditional, conclude one or the other arrow statements E Double-Arrow Elimination Given a biconditional, conclude one or the other arrow statements AntecedentConsequent

41. Simple Valid Argument Forms Φ->Ψ,Ψ Φ ⊢ I (double-arrow introduction) I (double-arrow introduction) Let’s presume these premises are true

42. Simple Valid Argument Forms (1)Φ->Ψ,Ψ Φ ⊢ tTttTt

43. Simple Valid Argument Forms (2)Φ->Ψ,Ψ Φ ⊢ fTffTf

44. Simple Valid Argument Forms (3)Φ->Ψ,Ψ Φ ⊢ tTfT

45. Simple Valid Argument Forms (4)Φ->Ψ,Ψ Φ ⊢ fTtT

46. Simple Valid Argument Forms (4)Φ->Ψ,Ψ Φ ⊢ fTttTf

47. Simple Valid Argument Forms (1)Φ->Ψ,Ψ Φ ⊢ tTttTt (2)Φ->Ψ,Ψ Φ ⊢ fTffTf

48. Simple Valid Argument Forms (1)Φ->Ψ,Ψ Φ ⊢ Φ Ψ tTttTttTt (2)Φ->Ψ,Ψ Φ ⊢ Φ Ψ fTffTffTf 2 conditions

49. Simple Valid Argument Forms (1)Φ->Ψ,Ψ Φ ⊢ Ψ Φ tTttTttTt (2)Φ->Ψ,Ψ Φ ⊢ Ψ Φ fTffTffTf I Double-Arrow Introduction Given two mirror conditionals, conclude the biconditional I Double-Arrow Introduction Given two mirror conditionals, conclude the biconditional 2 conditions

50. Rules of Derivation &E ampersand elimination vE wedge elimination ->E arrow elimination E double-arrow elimination &I ampersand introduction vI wedge introduction ->I arrow introduction I double-arrow introduction EliminationIntroduction

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

52. Homework Handout – The Rules The Rules Homework First step in learning the rules: 1.Elimination Rules a.What are they? (Literally, can you name them?) b.Why are they called "elimination" rules? 2.Introduction Rules a.What are they? (Literally, can you name them?) b.Why are they called "introduction rules? Second step in learning the rules: 1.pp. 19-26 a.“primitive rules” b.“elimination” and “introduction” rules (only) Important: bring to every class!!