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
Exercises 8 (Negation and other connectives) | Answers to Exercises 8 |
Exercises 9 (PL syntax: parse trees) | Answers to Exercises 9 |
Exercises 10 (PL semantics: evaluating wffs) | Answers to Exercises 10 |
Exercises 11 (Quotation) | Answers to Exercises 11 |
Exercises 12 (Truth-functions and truth-tables) | Answers to Exercises 12 |
Exercises 13 (Expressive adequacy) | Answers to Exercises 13 |
Exercises 14 (Tautologies) | Answers to Exercises 14 |
Exercises 15 (Tautological entailment) | Answers to Exercises 15 |
Exercises 16 (More on tautological entailment) | Answers to Exercises 16 |
Exercises 17 (Absurdity) | Answers to Exercises 17 |
Exercises 18 (The truth-functional conditional) | Answers to Exercises 18 |
Exercises 19 (“If”s and “→”s) | Answers to Exercises 19 |
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) |
Adding identity to QL
Exercises 38 (Identity) | Answers to Exercises 38 |
Exercises 39 (QL= languages) | |
Exercises 40 (Definite descriptions) | |
Exercises 41 (QL= proofs) | Answers to Exercises 41 |
Exercises 42 (Functions) |
Particular thanks for a bunch of corrections to “spamegg“!