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: Monday, December 1, 2014, 10:06 AM