SolutionsGroup5: Difference between revisions
No edit summary |
No edit summary |
||
| Line 12: | Line 12: | ||
== Types Quantifiers 2d == | == Types Quantifiers 2d == | ||
[Every x: SCULPTURE(x) & MAKE (r, x)] SIGN (r, x) | |||
( | |||
Here, the N' is "sculpture he makes" and therefore belongs in square brackets together with the Quantifier "every". Since Ramon ''makes'' and ''signs'' the sculptures, the correspondng variables are (r, x). | |||
[[NMTS-Group5#Different_types_of_Quantifiers|Return to Excercise]] | [[NMTS-Group5#Different_types_of_Quantifiers|Return to Excercise]] | ||
| Line 35: | Line 36: | ||
Sorry, this is not correct. | Sorry, this is not correct. | ||
Existential quantifiers are used for sentences that represent something that exists. | |||
Of course, you could argue that there is a Person x such that x is called Ramon and x makes (and then signs) sculptures - but this is not what we were going for. | |||
Maybe you want to check the possible answers once more. | |||
[[NMTS-Group5#Different_types_of_Quantifiers|Return to Excercise]] | [[NMTS-Group5#Different_types_of_Quantifiers|Return to Excercise]] | ||
| Line 71: | Line 78: | ||
== Scopal Ambiguity 3b == | == Scopal Ambiguity 3b == | ||
# There is one person that is loved by everyone: | |||
∃x (PERSON (x) -> ∀y (PERSON (y) & LOVE (y, x)) | |||
# For every person there is at least one person who loves him / her: | |||
∀x (PERSON (x) -> ∃y (PERSON (y) & LOVE (x, y)) | |||
[[NMTS-Group5#Scopal_Ambiguity|Return to Excercise]] | [[NMTS-Group5#Scopal_Ambiguity|Return to Excercise]] | ||
Revision as of 14:40, 20 January 2013
On this page, you can find the solutions to the excercises on Quantifiers.
Restricted Quantifiers 1a
Sorry, this is not correct.
In restricted quantifier notation, the complete noun phrase of the sentence is presented in square brackets.
Types Quantifiers 2d
[Every x: SCULPTURE(x) & MAKE (r, x)] SIGN (r, x)
Here, the N' is "sculpture he makes" and therefore belongs in square brackets together with the Quantifier "every". Since Ramon makes and signs the sculptures, the correspondng variables are (r, x).
Scopal Ambiguity 3a
...
Restricted Quantifiers 1c
Sorry, this is not correct.
In restricted quantifier notation, the noun phrase of the sentence is presented in square brackets.
Types Quantifiers 2a
Sorry, this is not correct.
Existential quantifiers are used for sentences that represent something that exists.
Of course, you could argue that there is a Person x such that x is called Ramon and x makes (and then signs) sculptures - but this is not what we were going for.
Maybe you want to check the possible answers once more.
Types Quantifiers 2b
Yes, this is correct. (Because)
Restricted Quantifiers 1b
Yes, this is correct.
Types Quantifiers 2c
Sorry, this is not correct. (Because)
Restricted Quantifiers 1d
Sorry, this is not correct.
In restricted quantifier notation, the noun phrase of the sentence is presented in square brackets.
Scopal Ambiguity 3b
- There is one person that is loved by everyone:
∃x (PERSON (x) -> ∀y (PERSON (y) & LOVE (y, x))
- For every person there is at least one person who loves him / her:
∀x (PERSON (x) -> ∃y (PERSON (y) & LOVE (x, y))
Placeholder
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.
This is just a placeholder to make sure the links work correctly even on larger PC-screens.