AnswerEX3-a: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 14: Line 14:




but <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/>
and <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/>





Revision as of 13:39, 29 January 2013

Sentence: Walter is a dog and Lisa and Tom enjoy watching football together.


Here the interpretation in predicate logic notation:


[[dog (Walter) Ʌ enjoy-watching-football-together (Lisa,Tom)]] = true


because [[dog (Walter)]]= true


because I(Walter)= <Walter> and <Walter> is an element of I(dog)


and [[enjoy-watching-soccer-together (Lisa,Tom)]] = true


because I(Lisa)= <Lisa>, I(Tom)= <Tom> and <Lisa,Tom> is in the set of I(enjoy-watching-football-together).


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


Navigation