Exercise Semantics of Predicate Logic: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
(Undo revision 5265 by Suzanne (talk))
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]].
To check your answers click on the single formulae.


* [[ExerciseFOLSemantics-1a|'''father-of-someone'''('''paul''','''Lisa''')]]
* '''father-of-someone'''('''paul''','''Lisa''')
* [[ExerciseFOLSemantics-1b|'''blonde'''('''walter''')]]
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
* [[ExerciseFOLSemantics-1c|'''enjoy-watching-football-together'''('''alice''','''tom''')]]
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

Template:Lorem
  • blonde(walter)

Check your answers

Template:Lorem
  • enjoy-watching-football-together(alice,tom)

Check your answers

Template:Lorem

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.

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=5267"