Exercise Syntax of Predicate Logic: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
 
(13 intermediate revisions by the same user not shown)
Line 1: Line 1:
<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
=== Formulae without variables ===
== Formulae without variables ==


=== Exercise 1 ===
{{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User:IsaB|Isabelle]].''
This exercise is based on the following scenario:
<blockquote>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.
</blockquote>
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.<br />''(Click on the box if the expressionis a formula. When you press the '''submit''' button, you will see a suggestion for the second part of the question.)''
<quiz display="simple">
{ }
- '''family-dog'''
|| '''family-dog''' is just a predicate symbol. It cannot be interpreted as true or false, as its argument is missing. A possible formula would be: '''family-dog'''('''walter''')
{ }
- '''blonde'''('''alice''','''paul''')
|| It cannot be interpreted as true or false. As '''blonde''' is a property and not a relation it can therefore only have one individual as its argument. A possible formula would be: '''blonde'''('''alice''')
{ }
+ '''father-of'''('''alice''','''lisa)'''
|| '''father-of''' is a relation and therefore requires two individuals as its arguments. Of course, this formula is not true. Alice can never be a father of someone. However, although the interpretation of the formula is wrong, it is still a formula as it can be interpreted as true or false.
{ }
+ '''tall'''('''alice''')
|| As '''tall''' is a property it requires one individual in brackets. This is the case and it can therefore be interpreted as true or false.
{ }
- '''enjoy-watching-football-together'''
|| It cannot be interpreted as true or false. As “enjoy-watching-football-together" is a relation two individuals are required. A possible formula would be: '''enjoy-watching-football-together'''('''walter''','''alice''')
</quiz>
For a general explanation of formulae [[General_Explanation_Formulae|Click here]]
<hr />
=== Exercise 2 ===
For the following exercises we use names and properties from the ''The Lord of the Rings'' novels.
For the following exercises we use names and properties from the ''The Lord of the Rings'' novels.


Line 33: Line 68:
<hr />
<hr />


{{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa| Lisa]], [[User:Marthe| Marthe]], [[User:Elisabeth.krall| Elisabeth]], and [[User:IsaB|Isabelle]].''
== Formulae with variables ==
 
This exercise is based on the following scenario:
<blockquote>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.
</blockquote>
 
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.
 
<quiz display="simple">
{1}
'''family-dog'''
|| '''family-dog''' is just a predicate symbol. It cannot be interpreted as true or false, as its argument is missing. A possible formula would be: '''family-dog'''('''walter''')
 
'''* [[AnswerEX2-a2|blonde(Alice,Paul)]]'''
 
'''* [[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]'''
 
'''* [[AnswerEX2-a4|tall(Alice)]]'''
 
'''* [[AnswerEX2-a5|enjoy-watching-football-together]]'''
</quiz>
 
For a general explanation of formulae [[General_Explanation_Formulae|Click here]]
<hr />


=== Formulae with variables ===


For the following exercises we use names and properties from the ''The Lord of the Rings'' novels.
For the following exercises we use names and properties from the ''The Lord of the Rings'' novels.

Latest revision as of 15:49, 5 May 2013

Formulae without variables

Exercise 1

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.
(Click on the box if the expressionis a formula. When you press the submit button, you will see a suggestion for the second part of the question.)

1

family-dog

2

blonde(alice,paul)

3

father-of(alice,lisa)

4

tall(alice)

5

enjoy-watching-football-together


For a general explanation of formulae Click here

Exercise 2

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

1 Click on the items that are well-formed expressions of the semantic representation language.

gandalf
hobbit
sauron
frodo ∧ gandalf
know(gandalf)
help(aragorn,frodo)

2 Click on the expressions that are well-formed formulae.

hobbit
frodo
hobbit(aragorn)
hobbit(frodo) ∧ wizard(gandalf)
hobbit(frodo) ¬ wizard(sam)

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

1 Click on the items that are well-formed expressions of the semantic representation language.

y
x ∧ frodo
∃x

2 Click on the expressions that are well-formed formulae.

∀x (hobbit(x) ⊃ x = gandalf)
∃y(hobbit(x) ∨ wizard(gandalf))


Back to

Retrieved from "https://www.lexical-resource-semantics.de/wiki/index.php?title=Exercise_Syntax_of_Predicate_Logic&oldid=4557"