•A sentence is valid if it is
true for all possible interpretations.
•A sentence is satisfiable if there
exists a “satisfying” interpretation (i.e. an interpretation for
which the sentence is true).
•An interpretation which satisfies a
sentence is a model of that sentence.
