PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
DOCUMENTATION CENTER SEARCH
Mathematica
>
Logic & Boolean Algebra
>
Built-in
Mathematica
Symbol
Solving Logical Combinations of Equations
Tutorials »
|
LogicalExpand
If
See Also »
|
Logic & Boolean Algebra
More About »
Implies
(
)
Implies
[
p
,
q
]
represents the logical implication
.
MORE INFORMATION
Implies
[
p
,
q
]
is equivalent to
.
Implies
[
p
,
q
]
can be input in
StandardForm
and
InputForm
as
. The character
can be entered as
Esc
=>
Esc
or
\[Implies]
.
EXAMPLES
CLOSE ALL
Basic Examples
(2)
In[1]:=
Out[1]=
In[2]:=
Out[2]=
Enter using
Esc
=>
Esc
:
In[1]:=
Out[1]=
Scope
(4)
Applications
(3)
Properties & Relations
(2)
SEE ALSO
LogicalExpand
If
TUTORIALS
Solving Logical Combinations of Equations
MORE ABOUT
Logic & Boolean Algebra
RELATED LINKS
NKS|Online
(
A New Kind of Science
)
New in 1 | Last modified in 3
© 2008 Wolfram Research, Inc.
. 
. 
. The character 
can be entered as Esc => Esc or \[Implies].
EXAMPLES
Basic Examples 
Scope 