This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / Built-in Functions / New in Version 5.0 / Algebraic Computation /

Exists

FilledSmallSquare Exists[x, expr] represents the statement that there exists a value of x for which expr is True.

FilledSmallSquare Exists[x, cond, expr] states that there exists an x satisfying the condition cond for which expr is True.

FilledSmallSquare Exists[, , ... , expr] states that there exist values for all the for which expr is True.

FilledSmallSquare Exists[x, expr] can be entered as . The character can be entered as AliasIndicatorexAliasIndicator or \[Exists]. The variable x is given as a subscript.

FilledSmallSquare Exists[x, cond, expr] can be entered as .

FilledSmallSquare In StandardForm, Exists[x, expr] is output as .

FilledSmallSquare Exists[x, cond, expr] is output as .

FilledSmallSquare Exists can be used in such functions as Reduce, Resolve and FullSimplify.

FilledSmallSquare The condition cond is often used to specify the domain of a variable, as in x Integers.

FilledSmallSquare Exists[x, cond, expr] is equivalent to Exists[x, cond && expr].

FilledSmallSquare Exists[, , ... , ... ] is equivalent to .

FilledSmallSquare The value of x in Exists[x, expr] is taken to be localized, as in Block.

FilledSmallSquare See Section 3.4.11.

FilledSmallSquare See also: ForAll, FindInstance, Resolve, Reduce, Element, Eliminate.

FilledSmallSquare New in Version 5.0.

Further Examples