AnswerEX3-a: Difference between revisions

Revision as of 13:39, 29 January 2013

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

Here the interpretation in predicate logic notation:

[[dog (Walter) Ʌ enjoy-watching-football-together (Lisa,Tom)]] = true

because [[dog (Walter)]]= true

because I(Walter)= <Walter> and <Walter> is 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.

Revision as of 13:39, 29 January 2013 (view source) Lisa (talk \| contribs) No edit summary ← Older edit		Revision as of 13:39, 29 January 2013 (view source) Lisa (talk \| contribs) No edit summary Newer edit →
Line 14:		Line 14:


	~~but~~ <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/>		and <nowiki>[[</nowiki>'''enjoy-watching-soccer-together (Lisa,Tom)''']] = ''true'' <br/>