Exercise on Predicate Logic

Create a World

Marthe´s Aufgabe

Formulae and their interpretation

a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answer click on the single expressions.

• family dog

• blonde(Alice,Paul)

• father of someone(Alice,Lisa)

• tall(Alice)

• enjoy watching football together

For a general explanation of formulae Click here