Chapter 4: Negation and implication

1. Negation

2. Implication

3. Exercises