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

False

是用以表示布尔值假的符号.

背景

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

范例

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

基本范例 (4)

计算一个布尔表达式：

使用条件：

测试一个构造属性：

测试一个数学属性：

属性和关系 (6)

布尔值真：

布尔函数的真值表：

Boole 函数：

这个命令不会自动求解：

用 FullSimplify 求出它的真值：

完整表达式：

用 Resolve 来求出它的真值：

用 Refine 在指定条件下求表达式的真值：

顶部