Logic and Set Theory

Course Material

This section lists the course material for the course 2IT60 Logic and Set Theory.

Book:

Rob Nederpelt, Fairouz Kamareddine:
Logical Reasoning: A First Course
Text in Computing, Vol. 3
King's College Publications, London
Second revised edition, 2011

TU/e students can buy this book via their study association.

The collection of tables appearing at the end of the book, summarizing the most important definitions, axioms and rules, can be downloaded here.)

Slides used in 2016-2017

(Slides will be added per topic and when the topic is completed; for the slides used in a particular lecture, see the [Schedule].)

[ Introduction ]
[ Propositional Logic ]
[ Predicate Logic ]
[ Other binders ]
[ Reasoning ]
[ Sets ]
[ Relations ]
[ Mappings ]
[ Induction ]
[ Orderings ]

Solutions to Selected Exercises

Solutions to selected exercises from Chapters 1-6.
Solutions to selected exercises from Chapters 7-11.
Solutions to selected exercises from Chapters 12-15.
Solutions to selected exercises from Chapter 16.
Solutions to selected exercises from Chapters 17 and 18.
Solutions to selected exercises from Chapter 19 and some additional exercises.
Solutions to selected exercises from Chapter 20.

Additional Material

(The 'detailed examples' below should be viewed with a PDF viewer in full-screen or presentation mode in order to correctly show the incremental builds.) comparison of derivation-style and natural language proofs using strong induction of the fact that every postage greater than 7 can be formed with 3- and 5-cent stamps
A detailed example of a calculation.
A detailed example of a derivation.
A detailed example of a derivation with quantifiers.
A video explaining an application of the case distinction proof principle. (At the beginning and at the end of the video references are made to other videos, which are not yet available. Please also note that there are two typos in the hints, the texts between parentheses associated with the derivation: the hint on line (6) should refer to line (5) instead of line (4); the hint on line (11) should refer to line (9) instead of line (10).)
A detailed example of a derivation-style proof of a set-theoretic property.
A detailed example of the construction of the proof of a property pertaining to sets and mappings; first a derivation-style proof is constructed, which is, subsequently, also transformed into a proof in natural language.
A detailed explanation of the construction of the proof by induction; first a derivation-style proof is constructed, and then also a proof in natural language is given.
A proof by strong induction of the fact that every postage greater than 7 cents can be formed with 3-cent and 5-cent stamps; both a derivation-style proof and a natural language proof are given side by side to allow for a detailed comparison.
Additional exercises
What is (in) a proof?
Commonly Made Mistakes

Old Exams

[31-Oct-2013] [solutions (including suggestions for correction) ]
Disclaimer: the suggestions for correction may give you an impression of how we have decided to grade the exam in the year 2013-2014. In particular, when it comes to being lenient with respect to certain mistakes (wrong notation, omitting hints, etc.), we may be less lenient in other years.
[23-Jan-2014]
[07-Apr-2014]
[30-Oct-2014] [solutions (including suggestions for correction) ]
Disclaimer: the suggestions for correction may give you an impression of how we have decided to grade the exam in the year 2014-2015. In particular, when it comes to being lenient with respect to certain mistakes (wrong notation, omitting hints, etc.), we may be less lenient in other years.
[22-Jan-2015]
[14-Apr-2015]
[29-Oct-2015] [solutions (including suggestions for correction) ]
Disclaimer: the suggestions for correction may give you an impression of how we have decided to grade the exam in the year 2015-2016. In particular, when it comes to being lenient with respect to certain mistakes (wrong notation, omitting hints, etc.), we may be less lenient in other years.
[21-Jan-2016]
[12-Apr-2016]
[03-Nov-2016] [solutions]
[26-Jan-2017]
[13-Apr-2017]