Definition:Unsatisfiable

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

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

Also see

 * Definition:Satisfiable