Unsatisfiability

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Property of a formula or set of formulas for which no interpretation, model, or assignment makes every formula in the set true; equivalently, the set has an empty model class.