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]=
2003年に導入
(5.0)