Next: 5.1 A very simple Up: Introduction to natural deduction Previous: 4.10 No more rules Contents
Exercises from several levels, explained step by step. If you still want more examples (but without comments) look into the last section. What I'm trying to explain here is not the rules, but the way of thinking so that you can devise the magic idea which solves the problem.
This is what I more lacked when I had to study natural deduction.
