Homework on §7.2—assigned Wed 11/3 and due Fri 11/5

(i)

Analyze and restate the result using unrestricted quantifiers:

Only divers who knew the wreck entered it, but everyone in it had trouble.

(ii)

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)