AnswerEX2-b1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
father of someone ( | ''father of someone (Paul,Lisa)'' = '''true''', | ||
because | because | ||
I( | I(''aul'') = <'''Paul'''>, | ||
I(lisa) = | I(''lisa'') = '''<Lisa'''> | ||
and | and | ||
< | <'''Paul,Lisa'''> '''is''' a 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 20:48, 25 January 2013
father of someone (Paul,Lisa) = true,
because
I(aul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is a set of I(father of someone).