Akademik

satisfaction
A set of sentences is satisfiable in a domain if it can be given an interpretation in the domain in which it is true. See model theory.

Philosophy dictionary. . 2011.