A calculus of the absurd

21.2.2 Definition of propositional logic