Exercise-ch6: Difference between revisions
Jump to navigation
Jump to search
Line 48: | Line 48: | ||
(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.) | (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.<br /> | Note that the brackets and the "bullet operator" also count as symbols.<br /> | ||
''Example:'' | ''Example:''<br /> | ||
Sentence: ''Alex met some student.''<br /> | |||
Logical form: Some x (STUDENT * x : ((MEET * e) * x) * ALEX) | |||
<quiz display=simple> | <quiz display=simple> |
Revision as of 16:00, 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)