Exercise-ch6: Difference between revisions
Jump to navigation
Jump to search
Line 57: | Line 57: | ||
{Sentence: ''Chris read many book.'' | {Sentence: ''Chris read many book.'' | ||
|type="{}"} | |type="{}"} | ||
Logical form: { Many _5 } x ({ BOOK _6 } * { x _1}: ((READ * e) * { x _1 }) * { CHRIS _7 }) | Logical form: { Many _5 } x ({ BOOK _6 } * { x _1}: ((READ { * _2 } e) * { x _1 }) * { CHRIS _7 }) | ||
{Sentence: ''Few students know Pat.'' | {Sentence: ''Few students know Pat.'' |
Revision as of 15:45, 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)