CSSE 490: Logic: Week 4

DayTopicsReadings/Assignments
Day 15
  • Review of select proofs from prior assignment
  • Translation into FOL
  • Paraphrasing English
  • Ambiguity and context sensitivity
  • Translations using function symbols
  • Read chapter 12
  • Recall that the one page abstracts of your presentation of a logic application are due tomorrow.
Day 16
  • Brief presentation of application proposals
  • Prenex form (Daniel)
  • Valid quantifier steps (Ben)
  • The method of existential instantiation (Michael)
  • The methof general condition proof
  • Read chapter 13
  • Complete the following translation problems: TBA
Day 17
  • Rules of Inference for FOL: Universal Elimination
    • Universal Elimination
    • Universal Introduction
    • Existential Elimination
    • Existential Introduction
  • Strategy and Tactics
  • Statement of Soundness and Completeness of FOL
  • Recall that the proposals for the Logic System you are to research are due tomorrow.
  • Complete the following exercises by Tuesday, BC: 11.25, 11.26, 11.30, 11.40, 12.12, 12.15, 12.22, 13.4, 13.6, 13.9, 13.11, 13.15, 13.18, 13.20, 13.21, 13.24, 13.28, 13.29.
  • Read chapter 15.
Day 18
  • Meet with me in my office either during 2nd hour or some other time during the day, so we can discuss your logic presentation abstract. I am having lunch during 5th, am in a meeting during 6th and am in class during 8th and 9th. Please come to the meeting with information on which sort of screen shots or application you will be presenting.
  • Read chapter 15.