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 | Sentence: Walter is a dog and Lisa and Tom enjoy watching soccer 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/> | <nowiki>[[</nowiki>''dog (Walter) Ʌ enjoy-watching-soccer-together (Lisa,Tom)'']] = '''false''' <br/> | ||
because <nowiki>[[</nowiki>''dog (Walter'')]]= '''true''' <br/> | because <nowiki>[[</nowiki>''dog (Walter'')]]= '''true''' <br/> | ||
::because I(''Walter'')= <'''Walter'''> and <'''Walter'''> is an element of I(''dog'') <br/> | ::because I(''Walter'')= <'''Walter'''> and <'''Walter'''> is an element of I(''dog'') <br/> | ||
but <nowiki>[[</nowiki>''enjoy-watching-soccer-together (Lisa,Tom)'']] = '''false''' <br/> | but <nowiki>[[</nowiki>''enjoy-watching-soccer-together (Lisa,Tom)'']] = '''false''' <br/> | ||
::because I(''Lisa'')= <'''Lisa'''>, I(''Tom'')= <'''Tom'''> and <'''Lisa,Tom'''> is NOT a set of I(''enjoy-watching-soccer-together''). <br/> | ::because I(''Lisa'')= <'''Lisa'''>, I(''Tom'')= <'''Tom'''> and <'''Lisa,Tom'''> is NOT a set of 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]] | ||
Revision as of 18:13, 28 January 2013
Sentence: Walter is a dog and Lisa and Tom enjoy watching soccer together.
Here the interpretation in predicate logic notation:
[[dog (Walter) Ʌ enjoy-watching-soccer-together (Lisa,Tom)]] = false
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)]] = false
- because I(Lisa)= <Lisa>, I(Tom)= <Tom> and <Lisa,Tom> is NOT a set of I(enjoy-watching-soccer-together).
- because I(Lisa)= <Lisa>, I(Tom)= <Tom> and <Lisa,Tom> is NOT a set of I(enjoy-watching-soccer-together).
Conjunction (Ʌ): Both atomic formulae have to be true in order for the complex formula to be true.