| Homework 5 |
Due
date: Dec. 12, 2003 |
| Page 446: #15-1, 15-2
Page 483: #16-1 Extra Credit: Page 447: #15-6 Page 483: #16-16 For #6 Clause 2: -A(z, g(z,1),3) Clause 3: -A(r, w, u) v A(w, v, 3) v -A(r, 3, t) v A (u, v, t) |
|