AnswerEX3-a: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Here the interpretation in predicate logic notation: | Here the interpretation in predicate logic notation: | ||
[[dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom)]] = FALSE <br/> | |||
because [[dog (walter)]]= TRUE <br/> | because [[dog (walter)]]= TRUE <br/> | ||
Revision as of 17:38, 27 January 2013
Here the interpretation in predicate logic notation:
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).