AnswerEX3-b

Here the interpretation in predicate logic notation:

¬daughter-of-someone (tom,paul) v tall(tom) = TRUE

because ¬daughter-of-someone (tom,paul)= TRUE

because I(tom)= tom, I(paul)=paul and <tom, paul> is NOT an element of I(daughter-of-someone)

and tall(tom) = FALSE

because I(tom)= tom and <tom> is NOT an element of the set I(tall).

Disjunction (v): At least one of the atomic formulae has to be true in order for the complex formula to be true.

Navigation

• Link to the current exercise