ExerciseFOLSemantics-1c

enjoy-watching-football-togehter(alice,tom) = true iff
< I(alice), I(tom) > ∈ I(enjoy-watching-football-together) iff
< Alice, Tom > ∈ {<Alice, Paul>,<Paul, Alice>,<Alice, Lisa>,<Lisa, Alice>,<Alice, Tom>,<Tom, Alice>,<Paul, Lisa>,<Lisa, Paul>,<Paul, Tom>,<Tom, Paul>,<Tom, Lisa>,<Lisa, Tom>}

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