Prop & Pred Logic

CMU 15-671	Models of Software Systems	Fall 1997
	Propositional & Predicate Logic
Garlan	Homework 2	Due: Mon Sept 8, 1997

All exercises are from [PST], except as noted. Some of the assigned problems below have answers in the back of the book. You need not include answers to those problems here, but you should definitely work them out on your own. Note you may wish to work more than these problems, just to get some extra practice with these basic notions.

I. Powersets

4.1, 4.2, 4.3, 4.4, 4.6, 4.7

II. Cartesian product

4.10 i-vii

4.12

4.14

III. Extended notation

4.21, 4.23

4.24 ii, iii, v, vi

4.27 I, ii, iv