Exercise Semantics of Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
Line 2: | Line 2: | ||
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]]. | 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]]. | ||
* | * '''father-of-someone'''('''paul''','''Lisa''') | ||
* | <div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | ||
* | Check your answers | ||
<div class="mw-collapsible-content">{{Lorem}}</div> | |||
</div> | |||
* '''blonde'''('''walter''') | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answers | |||
<div class="mw-collapsible-content">{{Lorem}}</div> | |||
</div> | |||
* '''enjoy-watching-football-together'''('''alice''','''tom''') | |||
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> | |||
Check your answers | |||
<div class="mw-collapsible-content">{{Lorem}}</div> | |||
</div> | |||
== Interpretation of formulae with logical connectives == | == Interpretation of formulae with logical connectives == |
Revision as of 21:00, 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.
- father-of-someone(paul,Lisa)
Check your answers
- blonde(walter)
Check your answers
- enjoy-watching-football-together(alice,tom)
Check your answers
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