AnswerEX3-a: Difference between revisions

Latest revision as of 13:43, 29 January 2013

Sentence: Alice is a dog and Lisa and Tom enjoy watching football together.

Here the interpretation in predicate logic notation:

[[dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)]] = false

because [[dog (Alice)]]= false

because I(Alice)= <Alice> and <Alice> is NOT an element of I(dog)

and [[enjoy-watching-soccer-together (Lisa,Tom)]] = true

because I(Lisa)= <Lisa>, I(Tom)= <Tom> and <Lisa,Tom> is in the set of I(enjoy-watching-football-together).

Conjunction (Ʌ): Both atomic formulae have to be true in order for the complex formula to be true.

@@ Line 1: / Line 1: @@
-Sentence: Walter is a dog and lisa and tom enjoy watching soccer together.
+Sentence: Alice is a dog and Lisa and Tom enjoy watching football together.
 Here the interpretation in predicate logic notation:
-<nowiki>[[</nowiki>dog (walter) Ʌ enjoy-watching-soccer-together (lisa,tom)]] = FALSE <br/>
-because [[dog (walter)]]= TRUE <br/>
+<nowiki>[[</nowiki>'''dog (Alice) Ʌ enjoy-watching-football-together (Lisa,Tom)''']] = ''false''<br/>
-::because I(walter)= walter and <walter> is an element of the set I(dog) <br/>
-but [[enjoy-watching-soccer-together (lisa,tom)]] = FALSE <br/>
+because <nowiki>[[</nowiki>'''dog (Alice)''']]= ''false'' <br/>
+::because I('''Alice''')= <''Alice''> and <''Alice''> is NOT an element of  I('''dog''') <br/>
+and <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/>
+::because I('''Lisa''')= <''Lisa''>, I('''Tom''')= <''Tom''> and <''Lisa,Tom''> '''is''' in the set of I('''enjoy-watching-football-together'''). <br/>
-::because I(lisa)= lisa, I(tom)= tom and <lisa,tom> is NOT an element of the set I(enjoy-watching-soccer-together). <br/>
 '''Conjunction (Ʌ)''': Both atomic formulae have to be true in order for the complex formula to be true.
 ====Navigation====
 *[[Interpretation_of_formulae_with_connectives|Link to the current exercise]]