SymPy 在处理带有无穷属性的符号不等式时，可能过早返回 BooleanTrue/BooleanFalse 而非保留为未判定的符号关系（如 StrictGreaterThan），导致逻辑不确定性被错误消除；本文详解原因并提供禁用自动求值、强制保留符号关系的可靠方案。
sympy 在处理带有无穷属性的符号不等式时，可能过早返回 `booleantrue`/`booleanfalse` 而非保留为未判定的符号关系（如 `strictgreaterthan`），导致逻辑不确定性被错误消除；本文详解原因并提供禁用自动求值、强制保留符号关系的可靠方案。
在 SymPy 中，符号的假设（assumptions）——例如 extended_nonnegative=True 和 finite=False——会影响不等式表达式的自动简化行为，但这种影响并不总是符合数学直觉。以如下代码为例：
import sympy as sp
y = sp.symbols("y", finite=False, extended_nonnegative=True)
print(y >= 0) # True → 合理：y ∈ [0, +∞]，故 y ≥ 0 恒成立
print(y 19) # True → ❌ 同样错误：y 可取 0 或 ∞，无法断言 y > 19 恒真
根本原因在于：SymPy 的假设系统在某些场景下会过度推导（over-simplify），将本应保持为符号关系（symbolic relational）的表达式，错误地归约为 BooleanTrue 或 BooleanFalse 实例（注意：它们是 SymPy 自定义的符号布尔对象，不是 Python 原生 True/False）。例如：
print(type(y print(type(y > 19)) # <class> print((y > 19) is True) # False —— 验证它不是 Python bool</class>
这与预期行为相悖：对于一个可取 0、42 或 ∞ 的扩展非负符号 y，y 和 y > 19 均属于三值逻辑中的“未知”（unknown），理应返回未求值的关系对象（如 StrictLessThan(y, oo)），而非布尔常量。
✅ 正确做法：禁用自动关系求值
使用 evaluate=False 参数显式构造不等式，绕过假设驱动的简化逻辑：
y = sp.symbols("y", finite=False, extended_nonnegative=True)
# 手动构建，禁止自动求值
ineq1 = sp.Lt(y, sp.oo, evaluate=False) # y 19 → 返回 StrictGreaterThan(y, 19)
print(ineq1) # y 19
print(type(ineq1)) # <class>
print(type(ineq2)) # <class></class></class>
⚠️ 注意事项：
-
evaluate=False必须在关系运算符构造时指定（如sp.Lt,sp.Gt,sp.Le,sp.Ge），不能对已求值表达式“反向取消”； -
y >= 0仍返回True是合理的——因为extended_nonnegative明确保证y ∈ [0, ∞]，该不等式在定义域内恒成立，属确定性结论； - 若需后续进行逻辑推理（如
satisfiable或ask查询），应配合AssumptionsContext或Q查询系统，而非依赖关系表达式的自动简化； - 避免混用
y （触发求值）和sp.Lt(y, oo, evaluate=False)（保持符号性）——一致性是可控建模的关键。
总结：SymPy 对无穷符号的不等式求值并非“错误”，而是其假设系统在保守性与实用性间的权衡结果。开发者需明确区分确定性断言（如 y >= 0）与不确定性比较（如 y > c 或 y ），并通过 evaluate=False 主动保留符号关系，才能构建出逻辑严谨、可推理的符号模型。
