Mathematica 9 is now available

SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > 数学和算法 > 离散数学 > 布尔运算 >

Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >

Mathematica 内置符号

教程 »|参见 »|更多关于 »

Implies ()

Implies[p, q]
表示逻辑包含关系

。

作为一个布尔函数，Implies[p, q] 等价于。

Implies[p, q] 在 StandardForm 和 InputForm 中输入为。符号能输入为 Esc => Esc 或 \[Implies]。

关闭所有单元

属性和关系 (2)

BooleanConvert LogicalExpand If Equivalent BooleanFunction

Solving Logical Combinations of Equations

布尔运算

逻辑和布尔代数

NKS|Online (A New Kind of Science)

1 的新功能 | 3 中的修改功能

Ask a question about this page | Suggest an improvement | Leave a message for the team