Philosophy Lexicon of Arguments

Search  
 
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.
 
Author Item Excerpt Meta data

 
Books on Amazon
I 278
Def Satisfiability / Poundstone: the question of how to recognize paradoxes. A limit for the knowledge.
W. Poundstone
I W. Poundstone Im Labyrinth des Denkens, Reinbek 1995


> Counter arguments against Poundstone



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-24