1. | Analyze each of the following sentences in as much detail as possible. | |
a. | Ann introduced Bill to Carol. | |
b. | Ann gave the book to either Bill or Carol. | |
c. | Ann gave the book to Bill and he gave it to Carol. | |
d. | Tom had the package sent to Sue, but it was returned to him. | |
e. | Georgia will see Ed if she gets to Denver before Saturday. | |
f. | If the murderer is either the butler or the nephew, then I’m Sherlock Holmes. | |
g. | Neither Ann nor Bill saw Tom speak to either Mike or Nancy. | |
h. | Tom will agree if each of Ann, Bill, and Carol asks him. |
2. | Synthesize idiomatic English sentences that express the propositions associated with the logical forms below by the intensional interpretations that follow them. | |
a. |
Wci ∧ Scl
[S: λxy (x is south of y); W: λxy (x is west of y); c: Crawfordsville; i: Indianapolis; l: Lafayette] |
|
b. |
Mab → Mba
[M: λxy (x has met y); a: Ann; b: Bill] |
|
c. |
Iacb ∧ Iadb
[I: λxyz (x introduced y to z); a: Alice; b: Boris; c: Clarice; d: Doris] |
|
d. |
Wab ∧ Kabab
[K: λxyzw (x asked y to write z about w); W: λxy (x wrote to y); a: Alice; b: Boris] |
|
e. |
g = c → (f = s ∧ p = t)
[c: the city; f: football; g: Green Bay; p: the Packers; s: the sport; t: the team] |