Exercise Semantics of Predicate Logic: Difference between revisions
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 | '''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.
b.) Tom is not Paul's daughter or Tom is tall.
Back to
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters