Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation > Implies () >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > Implies () >
Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > Implies () >
BUILT-IN MATHEMATICA SYMBOLTutorials »|See Also »|More About »

Implies

Implies
represents the logical implication .
MORE INFORMATION
  • As a Boolean function, Implies is equivalent to .
EXAMPLESCLOSE ALL
Basic Examples   (2)
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]=
Scope   (4)
Certain arguments automatically simplify:
Expand in terms of And, Or, and Not:
Do symbolic simplification:
TraditionalForm formatting:
Applications   (3)
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:
Properties & Relations   (2)
Truth table for Implies:
Implication of conditions in Boole functions:
New in 1 | Last modified in 3
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF