Implies
 Usage
• Implies[p, q] 表示逻辑隐含  .
Notes
• Implies[p, q] 等于!p || q. • Implies[p, q] 能在 StandardForm和 InputForm中输入为 p  q。字符  能输入为  => 或 \ [Implies]. • 参见 Mathematica 全书 : 节 3.4.10.
 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]=
|
|
