Exercise-ch6

Exercises for chapter 6: Quantifiers

Quantifier denotation

Complete the paraphrase for the following sentences with quantifiers.

1 Sentence: Pat read many books.

For x such that is a , Pat x.

2 Sentence: Most students work hard.

For such x is a , works .

3 Sentence: Pat knows some good movies.

For x , .

Complete the paraphrases for the following ambiguous sentences with quantifiers.

1 Sentence: Every linguist knows at least two languages.

Reading 1: For least x such that is a , for every y such that a , knows .

Reading 2: y that , at least x is , .

2 Sentence: Few actors star in many movies.

Reading 1: x is an actor, y is a , in .

Reading 2: y , is , x in .

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)

1 Sentence: Chris read many book.

Logical form: x ( * ((READ e) * ) * )

2 Sentence: Few students know Pat.

Logical form:

Provide the logical form of the following sentences. For the solutions, mark the -seemingly emtpy- line below the sentence with your mouse.

1. Sentence: Every student asked Alex.
   Logical form: ∀ x (student • x : ((help • e) • alex) • x)
2. Sentence: Alex talked to Chris about many movies.
   Logical form: Many x (movie • x : (((talk-to-about • e) • chris) • x) • alex)
3. Sentence: Chomsky wrote at least four books that Alex has read.
   Logical form:

AtLeast-4 x ((book • x ∧ ((read • e) • x) • alex) : ((write • u) • x) • chomsky)