Skip to content

Agenda 2/3/26

  1. Review Ch3 - Tables, pp.101-130
    • Determining T value of complex wffs
    • Truth-table method
    • Truth-table analysis and semantic definitions
      • Practice: Consistency
      • Practice: Contingency, Tautology, Contradiction
      • Practice: Equivalence
      • Practice: Semantic entailment
      • Practice: "If God exists, then it is not the case that there is evil. There is evil. Therefore, God does not exist."
    • Limitations of the table method
  2. Review Ch4 - Trees, pp.131-170
    • Tree Terminology
    • Decomposition Rules
    • Truth-tree analysis
      • Practice: Consistency
      • Practice: Contingency, Tautology, Contradiction
      • Practice: Equivalence
      • Practice: Semantic entailment
      • Practice: "If (God is all-powerful and God is all-knowing and God is all-good), then it is not the case that there is evil. There is evil. Therefore, it is not the case that (God is all-powerful and all-knowing and all-good)."
      • Practice: "If (God is all-powerful and God is all-knowing and God is all-good), then it is not the case that there is evil. God is all-powerful and God is all-good. Therefore, it is not the case that there is evil."
    • Advantages of trees
    • Pedagogical concern: Should you teach trees?

Next Time

Next class we will look at PL proofs.

  1. Quizzes (module 3 and 4)
  2. Read ch.5
  3. Complete module 5 quizzes