|Satisfaction, logic: a formula is satisfied when their variables are interpreted in a way that the formula as a whole is a true statement. The interpretation is a substitution of the variables of the formula by appropriate constants (e.g. names). When the interpreted formula is true, we call it a model. See also satisfiability, models, model theory.|
Books on Amazon
|Satisfaction||II 18 ff
"true" derivedly semantical
"fulfilled": primary semantical.
Der Mythos des Subjektiven Stuttgart 1993
Handlung und Ereignis Frankfurt 1990
Wahrheit und Interpretation Frankfurt 1990