ExerciseFOLSemantics-1a: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
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'', ''Lisa''> ∈ {<''Paul, Tom''>,<''Paul, Lisa''>}. | ||
Since this is the case, the formula is true. | |||
====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 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