This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Wolfram Research, Inc.



FilledSmallSquareResolve[expr] attempts to eliminate quantifiers in expr.

FilledSmallSquareResolve handles quantifiers of the form Exists[x, condition, expr] and ForAll[x, condition, expr].

FilledSmallSquareExists[x, c, expr] can be input in the form .

FilledSmallSquareForAll[x, c, expr] can be input in the form .

FilledSmallSquare Lists of variables can be used in Exists and ForAll.

FilledSmallSquare The algorithms of Resolve are used automatically inside FullSimplify.

FilledSmallSquare See also: CylindricalAlgebraicDecomposition, FullSimplify.

FilledSmallSquare Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.