Homework on §6.1—assigned Wed 10/19 and due Fri 10/21

(i) Analyze: Bill is the inventor but he sold the patent to Carol

(ii) Use derivations to show the following: (A → C) ∨ D, D → ¬ B ⇒ A → (B → C)