Semantics 1, SoSe 2016 (Sailer): Difference between revisions
Jump to navigation
Jump to search
Line 12: | Line 12: | ||
== Truth tables == | == Truth tables == | ||
(The following exercises have been copied here from the page on [[Exercise_Truth_Tables|exercises for truth tables]].) | |||
<quiz display="simple"> | <quiz display="simple"> |
Revision as of 20:12, 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.
Truth tables
(The following exercises have been copied here from the page on exercises for truth tables.)
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