Next: 9.1 Up: Introduction to natural deduction Previous: 8.6 Programs which do Contents
And finally, here is a collection of several examples (without explanation). It was me who solved them, so if you find errors, tell me about it.
The first 14 were explained (by words) on section 5.
