Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

True

是布尔值 "真" 的符号.

背景

True 是表示布尔值"真"的符号. 可被严格判定为真的表达式会返回这个符号. 测试表达式并可能返回 True 的例子包括 Equal、Unequal、SameQ、UnsameQ、Less/Greater/……、 Exists，以及通过 Resolve 进行的量词消除. “Q”-函数（例如 TrueQ、SameQ、UnsameQ）总是返回 True 或 False，而非 Q 的比较及相等性测试函数（例如 Equal、Unequal、Less、Greater）会在它们无法确定时返回未求值的表达式. 可根据条件是 True 或 False 而采用不同求值路径的结构包括 If、Which 和 Piecewise.
True 的否定 Not[True] 是 False. 由 True 和 False 组成的域被记为 Booleans.
TrueQ 是 If 的特例，当表达式就是明确的 True 时返回 True 否则返回 False.

范例

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

基本范例 (4)

一个布尔表达式的运算：

使用一个条件：

测试一个结构化属性：

测试一个数学属性：

属性和关系 (6)

布尔“假”值的符号：

布尔函数的真值表：

Boole 函数：

这个方程不能自动求解：

用 FullSimplify 求出它的真值：

一个完全量化的表达式：

用 Resolve 求出它的真值：

用 Refine 在特定假设下求出表达式的真值：

顶部