CMU 15-671Models of Software SystemsFall 1995
Other Proof Techniques and Proof Hints
Garlan & Wing Handout 3 11 September 1995
Natural deduction and equational reasoning, which you have seen already, and induction, which you will see shortly, are examples of different proof techniques to have in your bag of proof tricks. This handout covers some others. All but the first are probably familiar to you, which is why we are not going to dwell on any of them. Much of this handout is inspired by [GS]; parts are copied verbatim from Chapters 3 and 4.