Homework on §6.1—assigned Wed 10/20 and due Fri 10/22

(i) Analyze: If Al was the winner, he called Carol and told her about the prize

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