A calculus of the absurd

18.3.2 Logical or