AnswerEX3-a: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 3: Line 3:
Here the interpretation in predicate logic notation:
Here the interpretation in predicate logic notation:


<nowiki></nowiki>[[dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom)]] = FALSE <br/>
</nowiki>[[dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom)]] = FALSE <br/>


because [[dog (walter)]]= TRUE <br/>
because [[dog (walter)]]= TRUE <br/>

Revision as of 11:30, 28 January 2013

Sentence: Walter is a dog and lisa and tom enjoy watching soccer together.

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).

Conjunction (Ʌ): Both atomic formulae have to be true in order for the complex formula to be true.

Navigation