Exists

Exists[x, expr]
一个语句,表示当 exprTrue 时存在着一个 x 值.

Exists[x, cond, expr]
表示当 exprTrue 时,存在着一个满足条件 condx 值.

Exists[{x1, x2, ...}, expr]
表示当 exprTrue 时,存在着所有 值.

更多信息更多信息

  • Exists[x, expr] 可以输入为 . 字符 可以用 EscexEsc\[Exists] 输入. 变量 作为下标给出.
  • Exists[x, cond, expr] 可以输入为 .
  • StandardForm 中,Exists[x, expr] 输出为 .
  • Exists[x, cond, expr] 输出为 .
  • Exists 可以用于诸如 ReduceResolveFullSimplify 的函数中.
  • 条件 cond 通常用于指定一个变量的域,例如 xIntegers.
  • Exists[x, cond, expr] 等价于 Exists[x, cond&&expr].
  • Exists[{x1, x2, ...}, ...] 等价于 .
  • Exists[x, expr] 中的 值可以视为局部的,如同在 Block 中.

范例范例打开所有单元关闭所有单元

基本范例 (1)基本范例 (1)

以下声明方程 存在一个正解:

In[1]:=
Click for copyable input
Out[1]=

Resolve 获得一个语句为真的实参条件:

In[2]:=
Click for copyable input
Out[2]=

Reduce 给出一个解形式的条件:

In[3]:=
Click for copyable input
Out[3]=
版本 5 的新功能
New to Mathematica? Find your learning path »
Have a question? Ask support »