satisfiable,
adj.
(
Logic
) (of an expression or set of expressions of a formal calculus) possessing a
model
in which the given expressions are all true; consistent.
