80-110: The Nature of Mathematical Reasoning

Carnegie Mellon University

Spring 2015

Homework 7

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!