Semantics 1, WiSe 2016/17, Week 4

From Lexical Resource Semantics
Revision as of 23:50, 31 October 2016 by Manfred (talk | contribs) (Created page with "== Computing the truth value of atomic formulae == The following video presents the step-by-step computation of the truth value of two atomic formulae. The example uses a m...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Computing the truth value of atomic formulae

The following video presents the step-by-step computation of the truth value of two atomic formulae. The example uses a model based on Shakespeare's play Macbeth. The two formulae are:

  • kill(macbeth,duncan)
  • kill(lady-macbeth,macbet)

Back to the course page.

Retrieved from "http:///wiki/index.php?title=Semantics_1,_WiSe_2016/17,_Week_4&oldid=6974"