Satisfiability

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Property of a formula or set of formulas that there exists at least one interpretation, model, or assignment of truth-values making every formula in the set true.