Mathematica 9 is now available
Built-in Functions / Programming / Logical Operations /

Implies

Usage

• Implies[p, q] represents the logical implication .


Notes

• Implies[p, q] is equivalent to !p || q.
• Implies[p, q] can be input in StandardForm and InputForm as p q. The character can be entered as AliasIndicator=>AliasIndicator or \[Implies].
• See Section 3.4.7.
• See also: LogicalExpand, If.
• New in Version 1; modified in 3.
Further Examples


Any questions about topics on this page? Click here to get an individual response.Buy NowMore Information
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.