AnswerEX3-b

From Lexical Resource Semantics
Jump to navigation Jump to search

Sentence: Tom is not Paul's daughter or Tom is tall.


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 in the set of I(daughter-of-someone)


and [[tall(Tom)]] = false


because I(Tom)= <Tom> and <Tom> is NOT an element of 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