Exercise Semantics of Predicate Logic

b) Interpret the following formulae as true or false. If you have not defined these relations or properties in your World use the ones given in the World of exercise 1d). See here To check your answers click on the single formulae.

• father-of-someone(paul,Lisa)

• blonde(Walter)

• enjoy-watching-football-together(Alice,Tom)

3. Consider these two natural language sentences. While keeping in mind the scenario given in exercise 1d) See here, create complex formulae with logical connectives and compute the interpretation, respectively.

a.) Alice is a dog and Lisa and Tom enjoy watching football together.

Check your solution

b.) Tom is not Paul's daughter or Tom is tall.

Check your solution

---

Back to

• the exercises for chapter 2
• the material for chapter 2
• the overview over all chapters