| Validity, Satisfiability, Models |
|
|
|
|
|
|
|
|
|
|
| • | 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. |
|||||||||
