Exercise-ch6: Difference between revisions
Jump to navigation
Jump to search
Line 45: | Line 45: | ||
== Logical forms for sentences with quantifiers == | == Logical forms for sentences with quantifiers == | ||
Provide the logical form of the following sentences. (Ignore the eventuality quantification.) | Provide the logical form of the following sentences. (Ignore the eventuality quantification.)<br /> | ||
(Use: (i) lower case letters for variables (e,x,y,z, ...), (ii) upper case letters for predicates and name constant (LIKE, PAT, ...), (iii) capitalized words for quantifiers (Every, Most, Atleast, ...) | (Use: (i) lower case letters for variables (e,x,y,z, ...), (ii) upper case letters for predicates and name constant (LIKE, PAT, ...), (iii) capitalized words for quantifiers (Every, Most, Atleast, ...) | ||
''Example:'' | |||
* Sentence: ''Alex met some student.'' | |||
* Logical form: Some x (STUDENT * x : ((MEET * e) * x) * ALEX) | |||
<quiz display=simple> | <quiz display=simple> | ||
</quiz> | </quiz> | ||
== LRS combinatorics for quantifiers == | == LRS combinatorics for quantifiers == |
Revision as of 22:22, 18 November 2013
Exercises for chapter 6: Quantifiers
Quantifier denotation
Complete the paraphrase for the following sentences with quantifiers.
Complete the paraphrases for the following ambiguous sentences with quantifiers.
Logical forms for sentences with quantifiers
Provide the logical form of the following sentences. (Ignore the eventuality quantification.)
(Use: (i) lower case letters for variables (e,x,y,z, ...), (ii) upper case letters for predicates and name constant (LIKE, PAT, ...), (iii) capitalized words for quantifiers (Every, Most, Atleast, ...)
Example:
- Sentence: Alex met some student.
- Logical form: Some x (STUDENT * x : ((MEET * e) * x) * ALEX)