CSE 311 (Fall 13) CSE 311: Foundations of Computing Fall 2013 Lecture 8: More Proofs Review: proofs Start with hypotheses and facts Use rules of inference to extend set of…