ExerciseFOLSemantics-1a: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
'''father-of-someone'''('''paul''','''lisa''') = ''true'' iff<br /> | '''father-of-someone'''('''paul''','''lisa''') = ''true'' iff<br /> | ||
< I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff<br /> | < I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff<br /> | ||
< ''Paul'', ''Lisa''> &isin {<''Paul, Tom''>,<''Paul, Lisa''>}. | < ''Paul'', ''Lisa''> ∈ {<''Paul, Tom''>,<''Paul, Lisa''>}. | ||
Since this is the case, the formula is true. | Since this is the case, the formula is true. | ||
Latest revision as of 14:38, 22 May 2013
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.
- Link to the exercises on the computation of the interpretation
- the material for chapter 2
- the overview over all chapters