AnswerEX3-a

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)

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).

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

Navigation

• Link to the current exercise