structural:reformatting, stylistic:style_transfer, information:filtering
Interpretation of a first-order theory

An interpretation of a first-order theory provides a semantics for the formulas of the theory. An interpretation is said to satisfy a formula if the formula is true according to the interpretation. A model of a first-order theory Q S {\displaystyle {\mathcal {QS}}} is an interpretation in which every formula of Q S {\displaystyle {\mathcal {QS}}} is satisfied.