AnswerEX3-a: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Sentence: Walter is a dog and Lisa and Tom enjoy watching | Sentence: Walter is a dog and Lisa and Tom enjoy watching football together. | ||
| Line 5: | Line 5: | ||
<nowiki>[[</nowiki>'''dog (Walter) Ʌ enjoy-watching- | <nowiki>[[</nowiki>'''dog (Walter) Ʌ enjoy-watching-football-together (Lisa,Tom)''']] = ''true''<br/> | ||
| Line 14: | Line 14: | ||
but <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = '' | but <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/> | ||
::because I('''Lisa''')= <''Lisa''>, I('''Tom''')= <''Tom''> and <''Lisa,Tom''> is | ::because I('''Lisa''')= <''Lisa''>, I('''Tom''')= <''Tom''> and <''Lisa,Tom''> '''is''' in the set of I('''enjoy-watching-football-together'''). <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)
- because I(Walter)= <Walter> and <Walter> is an element of I(dog)
but [[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).
- 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.