ExerciseFOLSemantics-1a

From Lexical Resource Semantics
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