# 80-110: The Nature of Mathematical Reasoning

## Carnegie Mellon University

## Spring 2015

## Homework 3

### Due Monday, Feb. 2

Read this excerpt from Glymour's *Thinking Things Through*. It describes the logical system of Aristotle. This system is related to the system of universal, existential, and conditional statements that we've discussed in class, although the terminology is different.

Answer study questions 1 and 2 on page 49 of the excerpt.