Exists

Usage

• Exists[x, expr] represents the statement that there exists a value of x for which expr is True.
• Exists[x, cond, expr] states that there exists an x satisfying the condition cond for which expr is True.
• Exists[{, , ... }, expr] states that there exist values for all the for which expr is True.

Notes

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

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

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

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

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

• Exists[{, , ... }, ... ] is equivalent to .

Further Examples