80-110: The Nature of Mathematical Reasoning

Carnegie Mellon University

Spring 2015

Midterm Exam Problems

The midterm exam opens at 12:01 am on Monday, 3/30 and closes at 11:59pm on Friday, 4/3. It is untimed. On the honor code, please use no resources beyond your class notes and the material on OLI.

For the midterm exam, please do the following problems on OLI:

Midterm Exam Quiz problems 3, 4, 8, 10, 11, 15, 18-28, 37, 38, 45
Midterm Exam Truth-Table problems 1-3
Midterm Exam Truth-Tree problems 1-2
Midterm Exam Derivations problems 1, 2, 5, 7, 8

Problem 4 of the Derivations section is a bonus!