|Satisfiability, logic: a statement can be satisfied if there is an interpretation (e.g. an insertion of constants instead of variables), in which the statement is true. E.g. tautologies are always satisfied, contradictions are never satisfied. See also tautology, contradiction, contingency, satisfaction, models, model theory.|
Books on Amazon
Def Satisfiability / Poundstone: the question of how to recognize paradoxes. A limit for the knowledge.
I W. Poundstone Im Labyrinth des Denkens, Reinbek 1995