Homework for Philosophy 270, Fall 2011

(i)

Analyze and restate the result using unrestricted quantifiers:

Everyone who saw the movie was delighted, but only fans of its director were ecstatic

(ii)

[optional] Use derivations to show the entailment below. This exercise is designed to give you practice using detachment rules; and, for it to serve that purpose best, you should avoid using RC.

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