AnswerEX-b3: Difference between revisions
Jump to navigation
Jump to search
(Created page with "enjoy football togehter(Alice,Tom) = true, because I(Alice) = {Alice}, I(Tom) = {Tom} and <Alice,Tom> '''is''' an element of I(enjoy footbal together). ====Navigation==...") |
No edit summary |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
enjoy 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''' | <''Alice,Tom''> '''is''' in the set of I('''enjoy-watching-football-together''') | ||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] | ||
Latest revision as of 13:28, 29 January 2013
enjoy-watching-football-togehter(Alice,Tom) = true,
because
I(Alice) = <Alice>,
I(Tom) = <Tom>
and
<Alice,Tom> is in the set of I(enjoy-watching-football-together)