AnswerEX3-a: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
 
(6 intermediate revisions by the same user not shown)
Line 1: Line 1:
Sentence: Walter is a dog and lisa and tom enjoy watching soccer together.
Sentence: Alice is a dog and Lisa and Tom enjoy watching football together.
 


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/>


because [[dog (walter)]]= TRUE <br/>
<nowiki>[[</nowiki>'''dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)''']] = ''false''<br/>


::because I(walter)= walter and <walter> is an element of the set I(dog) <br/>


but [[enjoy-watching-soccer-together (lisa,tom)]] = FALSE <br/>
because <nowiki>[[</nowiki>'''dog (Alice)''']]= ''false'' <br/>
 
 
::because I('''Alice''')= <''Alice''> and <''Alice''> is NOT an element of  I('''dog''') <br/>
 
 
and <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/>
 
 
::because I('''Lisa''')= <''Lisa''>, I('''Tom''')= <''Tom''> and <''Lisa,Tom''> '''is''' in the set of I('''enjoy-watching-football-together'''). <br/>


::because I(lisa)= lisa, I(tom)= tom and <lisa,tom> is NOT an element of the set I(enjoy-watching-soccer-together). <br/>


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


====Navigation====
====Navigation====


*[[Interpretation_of_formulae_with_connectives|Link to the current exercise]]
*[[Interpretation_of_formulae_with_connectives|Link to the current exercise]]

Latest revision as of 13:43, 29 January 2013

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


Here the interpretation in predicate logic notation:


[[dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)]] = false


because [[dog (Alice)]]= false


because I(Alice)= <Alice> and <Alice> is NOT 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