Definition
Falsum
The falsum, written
, is the nullary logical constant that is false under every interpretation: It is the canonical contradiction: a formula that needs no atoms yet is never true. The falsum and the verum are each other’s negations:
Alternative symbols: