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
Poundstone, W.
 
Books on Amazon
Satisfiability 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 file
 
Ed. Martin Schulz, access date 2017-04-26