Tautology

logic

Definition

Tautology

A formula is a tautology if it is true under every interpretation. Then we write:

Formally, a formula is a tautology if

In that case, is valid.

Duality

Duality

is a tautology iff is contradictory.