Homework 1

Details

1. (8) AIDM Problem 1.8 (page 31)
   Hint: Use a truth table and a few words for one of the proofs. The other proof might start with something like "The proposition is only false when..."
2. (16) AIDM Problem 1.12 (page 32)
   Hint: Make sure for parts (c) and (d) you only use ↓. You are not allowed to use ¬ (the most common mistake students seem to make). You might want to start by figuring out how to implement ¬ using ↓.