Definition:Satisfiable

Definition
Let $\LL$ be a logical language.

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

Also known as
In each of the above cases, satisfiable is also seen referred to as semantically consistent.

Also see

 * Definition:Unsatisfiable
 * Definition:Falsifiable