|
![]() |
![]() |
![]() |
![]() |
1.3, #42
1.3, #50
1.3, #60. Briefly justify your answer to part d. (This does not need to be a formal proof with all the details, but should convince an intelligent reader, e.g. a classmate.)
1.4, #10
1.4, #24. First give a fairly literal translation of each, then, if possible, a more intuitive one.
1.4, #32
1.4, #48. (Note that the similar pair of formulae in 1.3 #50 were not equivalent.)
1.5, #12. In this problem and the next, do write out all steps carefully, including naming the relevant rules of inference used in each step.
1.5, #28
1.6, #42. This proof does not need to be as formal as the previous two problems, but should be persuasive, in the style of the examples presented in sections 1.6 and 1.7.
![]() |
Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX |