AnswerEX3-a: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
<nowiki>[[dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom)]] = FALSE | <nowiki>[[dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom)]] = FALSE | ||
because [[dog (walter)]]= TRUE | *because [[dog (walter)]]= TRUE | ||
because I(walter)= walter and <walter> is an element of the set I(dog) | *because I(walter)= walter and <walter> is an element of the set I(dog) | ||
but [[enjoy-watching-soccer-together (lisa,tom)]] = FALSE | *but [[enjoy-watching-soccer-together (lisa,tom)]] = FALSE | ||
because I(lisa)= lisa, I(tom)= tom and <lisa,tom> is NOT an element of the set I(enjoy-watching-soccer-together). | *because I(lisa)= lisa, I(tom)= tom and <lisa,tom> is NOT an element of the set I(enjoy-watching-soccer-together). | ||
====Navigation==== | ====Navigation==== | ||
*[[Interpretation_of_formulae_with_connectives|Link to the current exercise]] | *[[Interpretation_of_formulae_with_connectives|Link to the current exercise]] | ||
Revision as of 17:23, 27 January 2013
<nowiki>dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom) = FALSE
- because dog (walter)= TRUE
*because I(walter)= walter and <walter> is an element of the set I(dog)
- but enjoy-watching-soccer-together (lisa,tom) = FALSE
*because I(lisa)= lisa, I(tom)= tom and <lisa,tom> is NOT an element of the set I(enjoy-watching-soccer-together).