AnswerEX3-b
Jump to navigation
Jump to search
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)
- 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).
- 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.