Exercise Syntax of Predicate Logic: Difference between revisions
Line 2: | Line 2: | ||
=== Formulae without variables === | === Formulae without variables === | ||
{{CreatedByStudents1213}}<br />''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 64: | Line 34: | ||
For a general explanation of formulae [[General_Explanation_Formulae|Click here]] | For a general explanation of formulae [[General_Explanation_Formulae|Click here]] | ||
<hr /> | |||
For the following exercises we use names and properties from the ''The Lord of the Rings'' novels. | |||
Names: '''frodo''', '''sam''', '''gandalf''', '''aragorn'''<br /> | |||
1-place predicates: '''hobbit''', '''wizard'''<br /> | |||
2-place predicates: '''know''', '''help''' | |||
<quiz display="simple"> | |||
{Click on the items that are well-formed expressions of the semantic representation language. | |||
} | |||
+ '''gandalf''' | |||
+ '''hobbit''' | |||
- '''sauron''' | |||
|| The name '''sauron''' is not included in the non-logical vocabulary. | |||
- '''frodo''' ∧ '''gandalf''' | |||
|| The connectors "∧" and "∨" can only be used to combine two formulae. | |||
- '''know'''('''gandalf''') | |||
|| '''know''' is a 2-place predicate. Therefore it must combine with two arguments. | |||
+ '''help'''('''aragorn''','''frodo''') | |||
{Click on the expressions that are well-formed formulae. | |||
} | |||
- '''hobbit''' | |||
- '''frodo''' | |||
+ '''hobbit'''('''aragorn''') | |||
+ '''hobbit'''('''frodo''') ∧ '''wizard'''('''gandalf''') | |||
- '''hobbit'''('''frodo''') ¬ '''wizard'''('''sam''') | |||
|| "¬" combines with '''one''' formula only, not with two. | |||
</quiz> | |||
<hr /> | <hr /> | ||
Revision as of 15:16, 5 May 2013
Formulae without variables
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.
This exercise is based on the following scenario:
At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes.
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.
For a general explanation of formulae Click here
For the following exercises we use names and properties from the The Lord of the Rings novels.
Names: frodo, sam, gandalf, aragorn
1-place predicates: hobbit, wizard
2-place predicates: know, help
Formulae with variables
For the following exercises we use names and properties from the The Lord of the Rings novels.
Names: frodo, sam, gandalf, aragorn
1-place predicates: hobbit, wizard
2-place predicates: know, help
Back to
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters