AnswerEX3-a: Difference between revisions
Jump to navigation
Jump to search
(Created page with "<nowiki>dog(walter)") |
No edit summary |
||
| (20 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
<nowiki>[[dog( | Sentence: Alice is a dog and Lisa and Tom enjoy watching football together. | ||
Here the interpretation in predicate logic notation: | |||
<nowiki>[[</nowiki>'''dog (Alice) Ʌ enjoy-watching-football-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/> | |||
'''Conjunction (Ʌ)''': Both atomic formulae have to be true in order for the complex formula to be true. | |||
====Navigation==== | |||
*[[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)
- 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).
- 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.