Homework on §6.2—assigned Fri 10/21 and due Mon 10/24
(i) Analyze: If the speaker after Sam is the author of the book that I just read, I’ll ask him to explain a passage in it
(ii) Use derivations to check the following: A → (B → C) ⇒ (C ∧ A) → B