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.

• family dog Check your answer

• blonde(Alice,Paul) Check your answer

• father of someone(Alice,Lisa) Check your answer

• tall(Alice) Check your answer

• enjoy watching football together(Walter) Check your answer