AnswerEX2-b1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
''father of someone (Paul,Lisa)'' = | '''father-of-someone(Paul,Lisa)''' = ''true'', | ||
because | because | ||
I(''Paul'') = < | I('''Paul''') = <''Paul''>, | ||
I(''lisa'') = '' | I('''lisa''') = <''Lisa''> | ||
and | and | ||
< | <''Paul,Lisa''> '''is''' in the set of I('''father-of-someone'''). | ||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] |
Revision as of 09:41, 29 January 2013
father-of-someone(Paul,Lisa) = true,
because
I(Paul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is in the set of I(father-of-someone).