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[x, expr]
expr がTrueとなるような x の値が存在するという陳述を表す．
Exists[x, cond, expr]
expr がTrueとなるような条件 cond を満足する x が存在することを宣言する．
Exists[{x1, x2, ...}, expr]
すべての x_i について expr がTrueであるような値が存在することを宣言する．
  • Exists[x, expr]は∃_xexpr と入力できる．∃記号はEsc ex Escあるいは\[Exists]と入力できる．変数 x は下付き文字として与えられる．
  • Exists[x, cond, expr]は∃_(x,cond)expr と入力できる．
  • Exists[x, cond, expr]は∃_(x,cond)expr として出力される．
  • 制約条件 cond は，xIntegersのように，しばしば変数の領域を指定するのに用いられる．
  • Exists[x, cond, expr]はExists[x, cond&&expr]と等価である．
  • Exists[{x1, x2, ...}, ...]は∃_(x_1)∃_(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 の新機能
© 2013 Wolfram Research, Inc. English
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team