Implies[p, q]表示逻辑包含关系 .
用 Esc=>Esc 输入：
BooleanConvert LogicalExpand If Equivalent BooleanFunction
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
)
. 
. 
. 符号 
能输入为 Esc=>Esc 或 \[Implies].
. . . 符号 能输入为 Esc=>Esc 或 \[Implies].