ExerciseFOLSemantics-1c: Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''enjoy-watching-football-togehter(alice,tom)''' = ''true'' iff<br /> < I('''alice'''), I('''tom''') > ∈ I('''enjoy-watching-football-together''') iff<br /> < ''Alice'',...") |
|||
| Line 6: | Line 6: | ||
====Navigation==== | ====Navigation==== | ||
* [[Exercise_Semantics_of_Predicate_Logic|Link to the exercises on the computation of the interpretation]] | |||
* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]] | |||
* the overview over [[Textbook-chapters|all chapters]] | |||
Latest revision as of 15:03, 22 May 2013
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.
- Link to the exercises on the computation of the interpretation
- the material for chapter 2
- the overview over all chapters