AnswerEX3-b: Difference between revisions
Jump to navigation
Jump to search
(Created page with "Here the interpretation in predicate logic notation: dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom) = FALSE <br/> because dog (walter)= TRUE <br/> be...") |
No edit summary |
||
(6 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
Sentence: Tom is not Paul's daughter or Tom is tall. | |||
Here the interpretation in predicate logic notation: | Here the interpretation in predicate logic notation: | ||
because [[ | <nowiki>[[</nowiki>'''¬daughter-of-someone (Tom,Paul) v tall(Tom)''']] = ''true'' <br/> | ||
because <nowiki>[[</nowiki>'''¬daughter-of-someone (Tom,Paul)''']]= ''true'' <br/> | |||
::because I('''Tom''')= <''Tom''>, I('''Paul''')= <''Paul''> and <''Tom,Paul''> is NOT in the set of I('''daughter-of-someone''') <br/> | |||
and <nowiki>[[</nowiki>'''tall(Tom)''']] = ''false'' <br/> | |||
::because I('''Tom''')= <''Tom''> and <''Tom''> is NOT an element of 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]] |
Latest revision as of 09:47, 29 January 2013
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)
- 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).
- 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.