Homework on §2.3—assigned Fri 9/13 and due Mon 9/16

(i)

Construct a derivation to show that the following claim of entailment does not hold, and confirm a counterexample that lurks in an open gap:

(D ∧ C) ∧ E, A ∧ F ⊨ A ∧ (B ∧ C)

(ii)

Analyze the following sentence, presenting the result in symbolic notation and also in English notation. Remember that the final unanalyzed components should be complete sentences without pronominal cross-references from one to another, and try to capture any grouping in the English.

Al’s bike hit a rock and threw him off; but he wasn’t hurt, even though it was.