80-110: The Nature of Mathematical Reasoning
Carnegie Mellon University
Due Friday, Mar. 6
Do problems 1-10 and 14-16 in the Chapter 4 Lab on OLI. This is a number of natural deductions in the proof lab. (Note: the Chapter 4 Lab is at the very bottom of Chapter 4 in the problem set browser, after exercises 4.1-4.8.)
Note that Friday is the first day of spring break- I recommend finishing this early!