Exists

Exists[x, expr]
exprTrueとなるような xの値が存在するという陳述を表す.

Exists[x, cond, expr]
Trueとなるような条件 cond を満足する x が存在することを宣言する.

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 »