Next: 6.1 Introduction and elimination Up: Introduction to natural deduction Previous: 5.14 A ``short'' one. Contents
Common errors you mustn't do. Remember that a logic professor will correct your exercises with a true or a false, so learn to do this perfectly.