Semantics 1, WiSe 2016/17, Week 4: Difference between revisions
Jump to navigation
Jump to search
(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...") |
(No difference)
|
Revision as of 23:50, 31 October 2016
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.