ExerciseFOLSemantics-1a: Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''father-of-someone'''('''paul''','''lisa''') = ''true'' iff < I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff < ''Paul'', ''Lisa''> I('''Paul''') = <''...") |
No edit summary |
||
| Line 1: | Line 1: | ||
'''father-of-someone'''('''paul''','''lisa''') = ''true'' iff | '''father-of-someone'''('''paul''','''lisa''') = ''true'' iff<br /> | ||
< I('''paul'''), I('''lisa''') > & | < I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff<br /> | ||
< ''Paul'', ''Lisa''> | < ''Paul'', ''Lisa''> &isin | ||
Revision as of 14:34, 22 May 2013
father-of-someone(paul,lisa) = true iff
< I(paul), I(lisa) > ∈ I(father-of-someone) iff
< Paul, Lisa> &isin
I(Paul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is in the set of I(father-of-someone).