Exercise Semantics of Predicate Logic: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
Line 1: Line 1:


'''b)''' Interpret the following formulae as true or false. If you have not defined these relations or properties in your World use the ones given in the World of exercise 1d). [[AnswerEX1-d|See here]]
'''b)''' Interpret the following formulae as true or false. If you have not defined these relations or properties in your model use the ones given in [[ExerciseFOModels-d|a previous exercise]].
To check your answers click on the single formulae.
To check your answers click on the single formulae.


Revision as of 14:27, 22 May 2013

b) Interpret the following formulae as true or false. If you have not defined these relations or properties in your model use the ones given in a previous exercise. To check your answers click on the single formulae.



3. Consider these two natural language sentences. While keeping in mind the scenario given in a previous exercise, create complex formulae with logical connectives and compute the interpretation, respectively.


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

Check your solution


b.) Tom is not Paul's daughter or Tom is tall.

Check your solution



Back to

Retrieved from "http:///wiki/index.php?title=Exercise_Semantics_of_Predicate_Logic&oldid=4650"