AnswerEX3-b: Difference between revisions

Revision as of 11:39, 28 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 a 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.

@@ Line 1: / Line 1: @@
+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 <br/>
+<nowiki>[[</nowiki>''¬daughter-of-someone (Tom,Paul) v tall(Tom)'']] = '''true''' <br/>
-because [[¬daughter-of-someone (tom,paul)]]= TRUE <br/>
+because <nowiki>[[</nowiki>''¬daughter-of-someone (Tom,Paul'')]]= '''true''' <br/>
-::because I(tom)= tom, I(paul)=paul and <tom, paul> is NOT an element of I(daughter-of-someone) <br/>
+::because I(''Tom'')= <'''Tom'''>, I(''Paul'')= <'''Paul'''> and <'''Tom,Paul'''> is NOT a set of I(''daughter-of-someone'') <br/>
-and [[tall(tom)]] = FALSE <br/>
+and <nowiki>[[</nowiki>''tall(Tom)'']] = '''false''' <br/>
-::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 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.