Contradiction

logic

Definition

Contradiction

A formula is a contradiction if it is false under every interpretation. Then we write:

Formally, a formula is a contradiction if

In that case, is unsatisfiable.

Duality

Duality

is a tautology iff is contradictory.