ConditionalExpression

ConditionalExpression[expr,cond]

条件 cond がTrueであるときの式 expr を表す記号構造である．

詳細

  • ConditionalExpression[expr,True]を評価すると expr になる．
  • ConditionalExpression[expr,False]を評価するとUndefinedになる．
  • ConditionalExpressionは，数学関数の引数，方程式と不等式，ブール演算子から自動的に伝播する．つまり，h[ConditionalExpression[e1,c1],ConditionalExpression[e2,c2],…]はConditionalExpression[h[e1,e2,…],c1&&c2&&⋯]に変換される．
  • 関数が仮定を取る場合は，ConditionalExpressionの引数の条件の部分が仮定に加えられる．
  • 条件式に適用された代数変換の関数は第1引数に適用される．

例題

すべて開くすべて閉じる

例  (2)

である場合にのみ解が存在する：

条件 が満足された場合，答は妥当である：

スコープ  (16)

条件付きの解：

パラメータ解：

条件的に妥当な積分の結果：

条件的に妥当な総和の結果：

条件的に妥当なフーリエ級数：

TrueあるいはFalse条件のあるConditionalExpression：

ConditionalExpression引数のある数学関数：

ConditionalExpressionを含む方程式と不等式のブール条件：

矛盾する条件：

領域が制限された関数の逆関数：

条件付きの式を簡約する：

条件付きの式を含む方程式の解を求める：

領域が制限された関数をプロットする：

条件付きの式を含む区分関数：

条件的に妥当な式を変換する：

微分関数で条件的に妥当な式：

特性と関係  (4)

True条件を含むConditionalExpressionを評価すると最初の引数になる：

False条件を含む’ConditionalExpressionを評価するとUndefinedになる：

ConditionalExpressionは数学関数の引数から伝播する：

ConditionalExpressionは方程式と不等式の引数から伝播する：

ConditionalExpressionはブール関数の引数から伝播する：

Assumptionsオプションを取る関数では，引数条件は仮定として使われる：

Refine，Simplify，FullSimplifyは値の変換に条件を使う：

考えられる問題  (1)

Assumptionsオプションを取る関数では，引数条件は仮定として使われる：

ConditionalExpressionの引数ではない部分式は使われない：

Wolfram Research (2010), ConditionalExpression, Wolfram言語関数， https://reference.wolfram.com/language/ref/ConditionalExpression.html.

テキスト

Wolfram Research (2010), ConditionalExpression, Wolfram言語関数， https://reference.wolfram.com/language/ref/ConditionalExpression.html.

CMS

Wolfram Language. 2010. "ConditionalExpression." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/ConditionalExpression.html.

APA

Wolfram Language. (2010). ConditionalExpression. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ConditionalExpression.html

BibTeX

@misc{reference.wolfram_2024_conditionalexpression, author="Wolfram Research", title="{ConditionalExpression}", year="2010", howpublished="\url{https://reference.wolfram.com/language/ref/ConditionalExpression.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_conditionalexpression, organization={Wolfram Research}, title={ConditionalExpression}, year={2010}, url={https://reference.wolfram.com/language/ref/ConditionalExpression.html}, note=[Accessed: 22-November-2024 ]}