AnswerEX3-a
Jump to navigation
Jump to search
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.