Homework for Philosophy 270, Fall 2009

Homework on §7.2—assigned Wed 11/4 and due Fri 11/6

(i) Analyze and restate the result using unrestricted quantifiers:

Everyone who saw the movie was delighted, but only fans were ecstatic.

(ii) Use derivations to show the following (to get the most practice using detachment rules, avoid RC):

B → ((C ∧ A) → D) ⊨ A → ((B ∧ C) → D)