Exercise-ch6: Difference between revisions
Jump to navigation
Jump to search
Line 46: | Line 46: | ||
Provide the logical form of the following sentences. (Ignore the eventuality quantification.)<br /> | 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, ..., (iv) use "*" for the bullet operator.) | ||
Note that the brackets and the "bullet operator" also count as symbols. | |||
Revision as of 15:44, 19 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, ..., (iv) use "*" for the bullet operator.)
Note that the brackets and the "bullet operator" also count as symbols.
Example:
- Sentence: Alex met some student.
- Logical form: Some x (STUDENT * x : ((MEET * e) * x) * ALEX)