TOPICS
Search

Model


A well-formed formula B is said to be true for the interpretation M (written |=_MB) iff every sequence in Sigma (the set of all denumerable sequences of elements of the domain of M), satisfies B. B is said to be false for M iff no sequence in Sigma satisfies B.

Then an interpretation M is said to be a model for a set Gamma of well-formed formulas iff every well-formed formula in Gamma is true for M (Mendelson 1997, pp. 59-60).


See also

Generalized Completeness Theorem, Interpretation

Explore with Wolfram|Alpha

References

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, pp. 59-60, 1997.

Referenced on Wolfram|Alpha

Model

Cite this as:

Weisstein, Eric W. "Model." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Model.html

Subject classifications