Chapter 5
Reasoning about lists




These mirror those in Chapter 3; perhaps the advantage here is that the proof goals can be more realistic and less `mathematical'.

More advanced techniques

Section 5.4 should only form part of a second reading of the book, except for mathematically mature students. It shows how the straightforward techniques can break down, and call for us to generalise the goal of an induction proof. The section requires more logical sophistication than does the rest of the material on proof in the text.

Next Up

Written 18 May 1995.