此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

ForAll (ForAll)

ForAll[x, expr]
表示对于所有 x 的值,exprTrue
ForAll[x, cond, expr]
表示对于所有满足条件 condxexprTrue
ForAll[{x1, x2, ...}, expr]
表示对于所有 x_i 的值,exprTrue
  • ForAll[x, expr] 可以输入为  forall _xexpr 的形式。符号  forall 可以通过输入 Esc fa Esc\[ForAll] 获得。变量 x 可以以下标形式给出。
  • ForAll[x, cond, expr] 可以输入为  forall _(x,cond)expr 的形式。
  • ForAll[x, cond, expr] 输入为 ForAllx, condexpr
  • 条件 cond 通常用于指定一个变量的域,例如 xElementIntegers
  • ForAll[{x1, x2, ...}, ...] 等价于  forall _(x_1)( forall _(x_2)...)
  • ForAll[x, expr] 中的 x 值一般采用局部化,例如 Block
声明对于所有的 xa x^2+b x+c 是正数:
In[1]:=
Click for copyable input
Out[1]=
Resolve 获得一个参数为实数的条件,满足声明为 true:
In[2]:=
Click for copyable input
Out[2]=
Reduce 给出条件的求解形式:
In[3]:=
Click for copyable input
Out[3]=
5 的新功能