AnswerEX3-a
Jump to navigation
Jump to search
Here the interpretation in predicate logic notation:
<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).