This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Implies

Implies
represents the logical implication .
  • As a Boolean function, Implies is equivalent to .
Enter using Esc => Esc:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
Enter using Esc => Esc:
In[1]:=
Click for copyable input
Out[1]=
Certain arguments automatically simplify:
Expand in terms of And, Or, and Not:
Do symbolic simplification:
TraditionalForm formatting:
Use Implies to combine two regions:
Symbolic reduction:
Find the area of the complement of the difference of sets given by algebraic conditions:
This shows the set:
Use Implies to express set inclusion:
Truth table for Implies:
Implication of conditions in Boole functions:
New in 1 | Last modified in 3