Philosophy 303
Symbolic Logic
Winter, 2009




Homework Assignment 1
Due at 3:00 January 16 2009



      Here are some exercises aimed at helping you think about sets and functions, and to think in terms of proofs.

  1. Chapter 2, Exercise 2, Parts (b), (e), and (f).

  2. Chapter 2, Exercise 3, parts (c), (d) and (i)

  3. Chapter 2, Exercise 5 b) and e) [You need to give a (short) proof ; a picture can illustrate a proof but is no substitute for one.]

3. Chapter 2, Exercise 7 (b).

4.  Chapter 2, Exercise 26, (a), (d), and (h)

  1. Chapter 2, Exercise 27 (c)

  2. Chapter 2, Exercise 28, Parts (b), (d) and (f)