A calculus of the absurd

18.3 Some useful operators

18.3.1 Logical and