Assmt 3

  1. Show that the implications of the figure on p. 56 are correct. Some are "gifts" in that they are immediate from the axioms assumed.
  2. 3.11
  3. 3.17