AnswerEX3-b: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 11: | Line 11: | ||
::because I(tom)= tom and <tom> is NOT an element of the set I(tall). <br/> | ::because I(tom)= tom and <tom> is NOT an element of the set I(tall). <br/> | ||
Disjunction (v): At least one of the atomic formulae has to be true in order for the complex formula to be true. | '''Disjunction (v)''': At least one of the atomic formulae has to be true in order for the complex formula to be true. | ||
Revision as of 18:05, 27 January 2013
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.