Exercise Semantics of Predicate Logic: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{CreatedByStudents1213}} ''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User:IsaB|Isabelle]].'' | {{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User:IsaB|Isabelle]].'' | ||
Line 6: | Line 6: | ||
'''*[[AnswerEX2-a1|family dog]]''' | '''* [[AnswerEX2-a1|family dog]]''' | ||
'''*[[AnswerEX2-a2|blonde(Alice,Paul)]]''' | '''* [[AnswerEX2-a2|blonde(Alice,Paul)]]''' | ||
'''*[[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]''' | '''* [[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]''' | ||
'''*[[AnswerEX2-a4|tall(Alice)]]''' | '''* [[AnswerEX2-a4|tall(Alice)]]''' | ||
'''*[[AnswerEX2-a5|enjoy-watching-football-together]]''' | '''* [[AnswerEX2-a5|enjoy-watching-football-together]]''' | ||
Revision as of 17:55, 5 April 2013
The following material is an adapted form of material created by student participants of the project e-Learning Resources for Semantics (e-LRS).
Involved participants: Lisa, Marthe, Elisabeth, and Isabelle.
2.
a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. To check your answers click on single expressions.
* father-of-someone(Alice,Lisa)
* enjoy-watching-football-together
For a general explanation of formulae Click here
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). See here
To check your answers click on the single formulae.
* father-of-someone(Paul,Lisa)
* enjoy-watching-football-together(Alice,Tom)
3. Consider these two natural language sentences. While keeping in mind the scenario given in exercise 1d) See here, 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