Homework for Philosophy 270, Fall 2012
Homework on §7.2—assigned Wed 10/31 and due Fri 11/2
(to PDF format)
Analyze and restate the result using unrestricted quantifiers:
Everyone who had heard of the treasure looked for it, but no one found it
[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)