Definition:Unsatisfiable



Let $\LL$ be a logical language.

Let $\mathscr M$ be a formal semantics for $\LL$.

Also see

 * Definition:Satisfiable


 * Definition:Inconsistent (Logic)