ExerciseFOLSemantics-1a

From Lexical Resource Semantics

Revision as of 14:38, 22 May 2013 by Manfred (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

father-of-someone(paul,lisa) = true iff
< I(paul), I(lisa) > ∈ I(father-of-someone) iff
< Paul, Lisa> ∈ {<Paul, Tom>,<Paul, Lisa>}.

Since this is the case, the formula is true.

Navigation

Link to the exercises on the computation of the interpretation
the material for chapter 2
the overview over all chapters

Retrieved from "http:///wiki/index.php?title=ExerciseFOLSemantics-1a&oldid=4658"