6.1.x. Exercise questions
| 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. | |
| i. | Reagan’s vice president was the 41st president. | |
| j. | Tom found a fly in his soup and he called the waiter. | |
| k. | Tom found the book everyone had talked to him about and he bought a copy of it. | |
| l. | Wabash College is located in Crawfordsville, which is the seat of Montgomery County. | |
| m. | Sue and Tom set the date of their wedding but didn’t decide on its location. | |
| 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: [ _ is south of _ ]; W: [ _ is west of _ ]; c: Crawfordsville; i: Indianapolis; l: Lafayette |
|
| b. |
Mab → Mba
M: [ _ has met _ ]; a: Ann; b: Bill |
|
| c. |
Iacb ∧ Iadb
I: [ _ introduced _ to _ ]; a: Alice; b: Boris; c: Clarice; d: Doris |
|
| d. |
Wab ∧ Kabab
K: [ _ asked _ to write _ about _ ]; W: [ _ wrote to _ ]; 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 |
|
| f. |
(Sab ∧ ¬ Sa(fc)) → ¬ b = fc
S: [ _ has spoken to _ ]; f: [ _’s father]; a: Ann; b: Bill; c: Carol |
|
| g. |
(B(fa)(mb) ∨ S(ma)(fb)) → Cab
B: [ _ is a brother of _ ]; C: [ _ and _ are cross-cousins]; S: [ _ is a sister of _ ]; f: [ _’s father]; m: [ _’s mother]; a: Ann; b: Bill |
|
| h. |
Pab(m(sb)(sc)) ∧ Pac(m(sb)(sc))
P: [ _ persuaded _ to accept _ ]; m: [the best compromise between _ and _ ]; s: [ _ ’s proposal]; a: Ann; b: Bill; c: Carol |