ExerciseFOLSemantics-1a
Jump to navigation
Jump to search
father-of-someone(paul,lisa) = true iff
< I(paul), I(lisa) > ∈ I(father-of-someone) iff
< Paul, Lisa> &isin {<Paul, Tom>,<Paul, Lisa>}.
Since this is the case, the formula is true.
- Link to the exercises on the computation of the interpretation
- the material for chapter 2
- the overview over all chapters