Exercise Semantics of Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
To check your answers click on the single formulae. | To check your answers click on the single formulae. | ||
* | * [[ExerciseFOLSemantics-1a|'''father-of-someone'''('''paul''','''Lisa''')]] | ||
* [[ExerciseFOLSemantics-1b|'''blonde'''('''walter''')]] | |||
* [[ExerciseFOLSemantics-1c|'''enjoy-watching-football-together'''('''alice''','''tom''')]] | |||
[[ExerciseFOLSemantics-1a|'''father-of-someone'''('''paul''','''Lisa''')]] | |||
* | |||
[[ExerciseFOLSemantics-1b|'''blonde'''('''walter''')]] | |||
* | |||
[[ExerciseFOLSemantics-1c|'''enjoy-watching-football-together'''('''alice''','''tom''')]] | |||
== Interpretation of formulae with logical connectives == | == Interpretation of formulae with logical connectives == | ||
Revision as of 20:59, 6 January 2014
Interpretation of atomic formulae
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.
Interpretation of formulae with logical connectives
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