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]
すべての x_i について expr がTrueであるような値が存在することを宣言する．
  • 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[x, cond, expr]はExists[x, cond&&expr]と等価である．
  • 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