The Logic Manual
Volker Halbach · Medical Entomology and Zoology · 2010
1. Sets, Relations, and Arguments 2. Syntax and Semantics of Propositional Logic 3. Formalisation in Propositional Logic 4. The Syntax of Predicate Logic 5. The Semantics of Predicate Logic 6. Natural Deduction 7. Formalisation in Predicate Logic 8. Identity and Definite Descriptions Natural Deduction Rules