For homework: 1,3,5,13,17,19,23,25

On quizzes and tests you will be asked to construct formal proofs/inferences but will be given the list of inference rules so you can refer to them by name.
Last modified: Wednesday, April 13, 2016, 3:04 PM