Semantics 1, SoSe 2016 (Sailer): Difference between revisions
Jump to navigation
Jump to search
| Line 182: | Line 182: | ||
Just like with names, we want to have symbols that we can use in the logical language. For our example, let's take the predicate symbols '''afternoon-snack-of_2''' and '''father-of_2''', and '''talks-with_2'''. (The number 2 indicates that the interpretation consists of pairs, not just of single individual) There interpretation is defined as follows:<br> | Just like with names, we want to have symbols that we can use in the logical language. For our example, let's take the predicate symbols '''afternoon-snack-of_2''' and '''father-of_2''', and '''talks-with_2'''. (The number 2 indicates that the interpretation consists of pairs, not just of single individual) There interpretation is defined as follows:<br> | ||
Revision as of 20:09, 3 May 2016
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