Definition:Unsatisfiable/Formula

Definition
Let $\mathcal L$ be a logical language.

Let $\mathscr M$ be a formal semantics for $\mathcal L$.

A logical formula $\phi$ of $\mathcal L$ is a contradiction for $\mathscr M$ iff:


 * $\phi$ is valid in none of the structures of $\mathscr M$

Also known as
Contradictions are also referred to as:


 * logical falsehoods;
 * logical falsities;
 * inconsistent formulas;

However, the first two of these terms can easily lead to confusion about the precise meaning of "logical", and are therefore discouraged on.

Also see

 * Definition:Bottom (Logic), a symbol often used to represent contradictions in logical languages.
 * Definition:Tautology
 * Definition:Contingent Statement