Mathematica 9 is now available

SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > Logic & Boolean Algebra >

Built-in Mathematica Symbol

Tutorials »|See Also »|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].

Applications (3)

Properties & Relations (2)

LogicalExpand If

Solving Logical Combinations of Equations

Logic & Boolean Algebra

NKS|Online (A New Kind of Science)

New in 1 | Last modified in 3

© 2013 Wolfram Research, Inc.

Ask a question about this page | Suggest an improvement | Leave a message for the team