Models Template

CMU 15-671	Models of Software Systems	Fall 1997
	Intro to Logic & Set Theory
Garlan	Homework 1	Due: Wed Sept 3, 1997

All exercises in this homework are from [PST]. Note that most of the exercise sets contain problems with solutions in the back of the book. I suggest that you sample some of these, and then check your answers, when doing the problems assigned here.

1. Sets

2.1 vii-x

2.3 iii, v (note: 2.2 shows how to answer these questions)

2.5 v-viii

2. Propositions and Predicates

2.6 v, viii

2.12 v, vi

2.14

2.15 vii, viii

3. Tuples

2.19