AnswerEX-b3: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
enjoy watching football togehter(Alice,Tom) = true, | ''enjoy watching football togehter(Alice,Tom'') = '''true''', | ||
because | because | ||
I(Alice) = | I(''Alice'') = <'''Alice'''>, | ||
I(Tom) = | I(''Tom'') = <'''Tom'''> | ||
and | and | ||
<Alice,Tom> '''is''' a set of I(enjoy football together) | <'''Alice,Tom'''> '''is''' a set of I(''enjoy football together'') | ||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] |
Revision as of 20:52, 25 January 2013
enjoy watching football togehter(Alice,Tom) = true,
because
I(Alice) = <Alice>,
I(Tom) = <Tom>
and
<Alice,Tom> is a set of I(enjoy football together)