此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

Implies

Usage

Implies[p, q] 表示逻辑隐含  .


Notes

Implies[p, q] 等于!p || q.
Implies[p, q] 能在StandardFormInputForm中输入为p  q。字符 能输入为 AliasIndicator=>AliasIndicator 或 \[Implies].
• 参见 Mathematica 全书: 3.4.10.
• 同时参见: LogicalExpand, If.
Further Examples

The logical implication P  Q is false only when P is true and Q is false.

In[1]:=  

Out[1]=

In[2]:=  

Out[2]=

In[3]:=  

Out[3]=

In[4]:=  

Out[4]=