Semantics 1, SoSe 2016 (Sailer)
Jump to navigation
Jump to search
Additional material for week 5
Formulae with more than one connective
The video shows how the truth value of a more complex formula can be computed. The example contains two connectives:
kill(malcom,lady-macbeth) ∨ ¬thane(macbeth)
The video shows two different methods: top down and bottom up.
Preparation for week 5
- Read Levine et al (in prep.), Chapter 2, section 2.
- Using your model from last week,
- Give 1 formula with ⊃.
- Give 1 formule with 2 different connectives (both distinct from ⊃)
- Provide the step-by-step computation of the truth of your 2 formulae.
Additional material for week 4
The material can be found on the page Semantics 1, SoSe 2016 (Sailer): Week 4
Additional material for week 3
The material for week 3 can be accessed here