Implies ()

Implies[p,q]

represents the logical implication .

Details

Examples

open allclose all

Basic Examples  (2)

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=

Enter using =>:

In[1]:=
Click for copyable input
Out[1]=

Scope  (4)

Applications  (3)

Properties & Relations  (2)

See Also

BooleanConvert  LogicalExpand  If  Equivalent  BooleanFunction

Tutorials

Introduced in 1988
(1.0)
| Updated in 1996
(3.0)