AnswerEX2-a3

father-of-someone(Alice,Lisa) is a formula

“Father-of-someone” is a relation and therefore requires two individuals in brackets. Of course, this formula is not true. Alice can never be a father of someone. However, although the interpretation of the formula is wrong, it is still a formula as it can be interpreted as true or false.

Navigation

• Link to the current exercise