A calculus of the absurd

19.2.2 Definition of propositional logic