IFL2: Exercises and answers

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“!

Scroll to Top