Definition
Verum
The verum, written
, is the nullary logical constant that is true under every interpretation: It is the canonical tautology: a formula that needs no atoms yet is always true. In the entailment definitions the truth value true is written
, as in . Alternative symbols: