Problem Set 1 is available here. It will be due on Friday, September 14. Some helpful tips for the natural deduction proofs are available here.

Submission instructions: You can hand in your answers electronically (via LATTE) or on paper. If you’re submitting electronically, the LATTE submission box will be open until 11:59 PM (it says 11:55, but we’ll give you the extra 4 minutes). If you’re submitting a hard copy, note that I (Ken) will not be on campus at 11:59 PM, so to guarantee that I get it on time, you will need to hand in your assignment in class. Alternatively, you can scan (or even take a picture with your phone, as long as your work is legible) your assignment and submit it through LATTE.