Definition
Sentence (First-Order Logic)
A sentence (or closed formula) is a formula with no free variables.
Satisfaction
Theorem
If
is a sentence, then for any structure and any variable assignments : In this case we simply write
and call a model of .