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 |
||
| Line 9: | Line 9: | ||
and | and | ||
<Alice,Tom> '''is''' | <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 19:40, 24 January 2013
enjoy football togehter(Alice,Tom) = true,
because
I(Alice) = {Alice},
I(Tom) = {Tom}
and
<Alice,Tom> is a set of I(enjoy football together)