Satisfaction (original) (raw)
Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology
Alphabetical Index New in MathWorld
Let 
be a relational system, and let 
be a language which is appropriate for 
. Let 
be a well-formed formula of 
, and let 
be a valuation in 
. Then 
is written provided that one of the following holds:
1. 
is of the form 
, for some variables 
and 
of 
, and 
maps 
and 
to the same element of the structure 
.
2. 
is of the form 
, for some 
-ary predicate symbol 
of the language 
, and some variables 
of 
, and 
is a member of 
.
3. 
is of the form 
, for some formulas 
and 
of 
such that 
and 
.
4. 
is of the form 
, and there is an element 
of 
such that 
.
In this case, 
is said to satisfy 
with the valuation 
.
See also
This entry contributed by Matt Insall (author's link)
Explore with Wolfram|Alpha
References
Bell, J. L. and Slomson, A. B. Models and Ultraproducts: an Introduction. Amsterdam, Netherlands: North-Holland, 1969.Enderton, H. E. A Mathematical Introduction to Logic. Boston, MA: Academic Press, 1972.
Referenced on Wolfram|Alpha
Cite this as:
Insall, Matt. "Satisfaction." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Satisfaction.html