A calculus of the absurd

20.3 Some useful operators

20.3.1 Logical and