WOLFRAM

Wolfram 语言与系统参考资料中心

ConditionalExpression[expr,cond]

是一个符号结构，当条件 cond 为 True 时，表示为表达式 expr.

更多信息
Details and Options Details and Options
范例  
基本范例  
范围  
属性和关系  
可能存在的问题  
参见
相关指南
历史
按以下格式引用：

ConditionalExpression

ConditionalExpression[expr,cond]

是一个符号结构，当条件 cond 为 True 时，表示为表达式 expr.

更多信息

范例

打开所有单元 关闭所有单元

基本范例  (2)

仅当 时有解：

Wolfram Language code: Solve[x ^ 2 + y ^ 2 + x == 1, y, Reals]

当条件 满足时，答案是有效的：

Wolfram Language code: Integrate[x ^ n, {x, 0, 1}]

范围  (16)

在不同条件下的解：

Wolfram Language code: Solve[a x ^ 2 + b x + c == 0, x, Reals]

用参数表示的解：

Wolfram Language code: Solve[x ^ 2 - 2y ^ 2 == 1 && x > 0 && y > 0 , {x, y}, Integers]

在一定条件下有效的积分结果：

Wolfram Language code: Integrate[Exp[x ^ a], {x, 0, 1}]

在一定条件下有效的求和结果：

Wolfram Language code: Sum[1 / n ^ a, {n, ∞}, GenerateConditions -> True]

在一定条件下有效的傅里叶级数：

Wolfram Language code: FourierSeries[a ^ x, x, 3, GenerateConditions -> True]

具有 True 或者 False 条件的 ConditionalExpression：

Wolfram Language code: ConditionalExpression[a, True]
Wolfram Language code: ConditionalExpression[a, False]

具有 ConditionalExpression 变量的数学函数：

Wolfram Language code: Sin[ConditionalExpression[x, x > 0] + 1] ConditionalExpression[x, x < 1] ^ 2

包含 ConditionalExpression 的方程和不等式的布尔组合：

Wolfram Language code: ConditionalExpression[x, x > 0] ^ 2 == 1 && ConditionalExpression[y, y < 0] > -1

相反的条件：

Wolfram Language code: ConditionalExpression[x, x > 0] + ConditionalExpression[x, x < 0]

在限定域下，一个函数的反函数：

Wolfram Language code: InverseFunction[ConditionalExpression[# ^ 2 + # + 1, # ≤ -1 / 2]&]

简化条件表达式：

Wolfram Language code: Simplify[ConditionalExpression[Sqrt[x ^ 2], x < 0]]

求涉及条件表达式的方程的解：

Wolfram Language code: Reduce[ConditionalExpression[x ^ 2 - 1, x > 0] == 0, x]

绘制一个具有限定域的函数：

Wolfram Language code: Plot3D[ConditionalExpression[x ^ 2 - y ^ 2, x ^ 2 + y ^ 2 < 1], {x, -1, 1}, {y, -1, 1}]

包含条件表达式的分段函数：

Wolfram Language code: Piecewise[{{ConditionalExpression[x + y, x > 0], y > 0}, {x - y, ConditionalExpression[y ≤ 0, y > -1]}}]

对在一定条件下有效的表达式进行转换：

Wolfram Language code: Expand[ConditionalExpression[(x + y) ^ 2, x - y > 0]]
Wolfram Language code: Factor[%]

在微积分函数中，在一定条件下有效的表达式：

Wolfram Language code: Integrate[ConditionalExpression[a ^ x, a > 0], x]
Wolfram Language code: D[%, x]
Wolfram Language code: FourierTransform[ConditionalExpression[x ^ n, n > 0], x, t]

属性和关系  (4)

对具有 True 条件的 ConditionalExpression 进行计算得到第一个参数：

Wolfram Language code: ConditionalExpression[a, True]

对具有 False 条件的 ConditionalExpression 进行计算得到 Undefined：

Wolfram Language code: ConditionalExpression[a, False]

ConditionalExpression 以数学函数的变量进行传递：

Wolfram Language code: Sin[ConditionalExpression[x, x > 0]] + 3ConditionalExpression[Cos[x], x < 1] ^ 2

ConditionalExpression 以方程和不等式的变量进行传递：

Wolfram Language code: {ConditionalExpression[x ^ 2, x > 0] == 1, ConditionalExpression[x ^ a, a > 0] < 2}

ConditionalExpression 以布尔函数的变量进行传递：

Wolfram Language code: ConditionalExpression[p, c] && ( ConditionalExpression[q, d] || r)

对于采用 Assumptions 选项的函数，变量条件作为假定使用：

Wolfram Language code: Limit[ConditionalExpression[a ^ x, 0 < a < 1], x -> Infinity]

Refine、Simplify 和 FullSimplify 使用条件语句对值进行变换：

Wolfram Language code: Refine[{ConditionalExpression[Sqrt[x ^ 2], x > 0], ConditionalExpression[Sqrt[x ^ 2], x < 0]}]

可能存在的问题  (1)

对于采用 Assumptions 选项的函数，变量条件作为假定使用：

Wolfram Language code: Residue[Tan[x], ConditionalExpression[{x, (2n + 1) Pi / 2}, Element[n, Integers]]]

非变量的 ConditionalExpression 子表达式不被使用：

Wolfram Language code: Residue[Tan[x], {x, ConditionalExpression[(2n + 1) Pi / 2, Element[n, Integers]]}]
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 语言. 2010. "ConditionalExpression." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/ConditionalExpression.html.

APA

Wolfram 语言. (2010). ConditionalExpression. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/ConditionalExpression.html 年

BibTeX

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

BibLaTeX

@online{reference.wolfram_2026_conditionalexpression, organization={Wolfram Research}, title={ConditionalExpression}, year={2010}, url={https://reference.wolfram.com/language/ref/ConditionalExpression.html}, note=[Accessed: 13-August-2026]}