Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学和算法 > 公式处理 > 假定说明和域 >
Mathematica 内置符号教程 »|参见 »|更多关于 »

Exists (Exists)

Exists[x, expr]
一个语句，表示当 expr 为 True 时存在着一个 x 值。
Exists[x, cond, expr]
表示当 expr 为 True 时，存在着一个满足条件 cond 的 x 值。
Exists[{x1, x2, ...}, expr]
表示当 expr 为 True 时，存在着所有 x_i 值。
  • Exists[x, expr] 可以输入为 exists _xexpr。字符 exists 可以用 Esc ex Esc 或 \[Exists] 输入。变量 x 作为下标给出。
  • Exists[x, cond, expr] 可以输入为 exists _(x,cond)expr。
  • Exists[x, cond, expr] 输出为 exists _(x,cond)expr。
  • 条件 cond 通常用于指定一个变量的域，例如 xElementIntegers 。
  • Exists[{x1, x2, ...}, ...] 等价于 exists _(x_1) exists _(x_2)...。
  • Exists[x, expr] 中的 x 值可以视为局部的，如同在 Block 中。
范例关闭所有单元
例   (1)
它表示方程式 a x^2+b x+c=0 存在着一个正解：
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 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team