In the left columns in each table there are links to PDFs to sets of end-of-chapter exercises for IFL2 (the numbers correspond to chapters, so there are gaps corresponding to chapters without exercises). The question-sets may, however, also be useful to others using different textbooks. Occasionally the pre-ambles to the questions here are tweaked to so that they make more sense independently of the book.

In the right columns there are links to PDFs with worked answers. Many of these answers are elaborated at some length. But experience suggests that different people can get stuck in different ways, or need different points to be repeated.  (Let me know if you find errors or unclarities.)

Introductory exercises

 Exercises 1 (Some informal arguments) Answers to Exercises 1 Exercises 2 (Validity, soundness, etc.) Answers to Exercises 2 Exercises 3 (Forms of argument) Answers to Exercises 3 Exercises 4 (Informal proofs) Answers to Exercises 4 Exercises 5 (Counterexamples) Answers to Exercises 5 Exercises 6 (Logical validity) Answers to Exercises 6 Exercises 7 (Propositions) Answers to Exercises 7

Propositional logic introduced

Natural deduction for propositional logic

 Summary of PL natural deduction rules Combined exercises on PL natural deduction Exercises 20 (PL proofs: conjunction and negation) Answers to Exercises 20 Exercises 21 (PL proofs: disjunction) Answers to Exercises 21 Exercises 22 (PL proofs: conditionals) Answers to Exercises 22 Exercises 23 (PL proofs: theorems) Answers to Exercises 23

Quantificational languages

 Exercises 28 (A first QL language) Answers to Exercises 28 Exercises 29 (Simple QL translation exercises) Answers to Exercises 29 Exercises 30 (Yet more QL translations) Answers to Exercises 30

Quantificational logic: natural deduction and semantics

 Summary of QL natural deduction rules Exercises 31 (Informal quantifier arguments) Answers to Exercises 31 Exercises 32 (Formal QL proofs) Answers to Exercises 32 Exercises 33 (More QL proofs) Answers to Exercises 33 Exercises 35 (QL-valuations) Answers to Exercises 35 Exercises 36 (QL validity)