A calculus of the absurd
1
Introduction
I
A Level mathematics (and further mathematics)
II
A Level Further Mathematics
III
General mathematics
19
Linear algebra, take 2
20
Set theory
21
More interesting combinatorics
22
Number theory
23
High-level logic
23.1
Introduction
23.2
Truth tables
23.3
Some useful operators
23.4
Law of the excluded middle
24
Lower-level logic
25
Graph theory
26
Real analysis
27
Abstract algebra
28
Probability
29
Statistics
IV
Algorithms
V
Computer science science stuff
VI
Miscellaneous
High-level logic
Chapter 23
High-level logic
This chapter could also have been titled
\say
the logic you really must know to do mathematics.
23.1
Introduction
23.2
Truth tables
23.3
Some useful operators
23.4
Law of the excluded middle