Problem Set 1: Natural Deduction for Propositional Logic is available here. This is due Wednesday, September 7, 2016. Answers may be submitted on paper or via e-mail. Paper answers may be left with Nikhil in his office (Volen 110) by the due date. Please e-mail both Nikhil and James if you choose to submit this way.