AnswerEX3-b: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Here the interpretation in predicate logic notation: | Here the interpretation in predicate logic notation: | ||
[[ | [[¬daughter-of-someone (tom,paul)v tall(tom)]] = TRUE <br/> | ||
because [[ | because [[¬daughter-of-someone (tom,paul)]]= TRUE <br/> | ||
::because I( | ::because I(tom)= tom, I(paul)=paul and <tom, paul> is NOT an element of I(daughter-of-someone) <br/> | ||
and [[tall(tom)]] = FALSE <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. | |||
====Navigation==== | ====Navigation==== | ||
*[[Interpretation_of_formulae_with_connectives|Link to the current exercise]] | *[[Interpretation_of_formulae_with_connectives|Link to the current exercise]] | ||
Revision as of 18:02, 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.