A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.
A formula is valid if all interpretations make the formula true.
The opposites of these concepts are unsatisfiability and invalidity, that is, a formula is unsatisfiable if none of the interpretations make the formula true, and invalid ifsome such interpretation makes the formula false.
posted on
