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

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

=>

or \[Implies].

• See Section 3.4.7.

• See also: LogicalExpand, If.

• New in Version 1; modified in 3.

Further Examples

© 2009 Wolfram Research, Inc. • Terms of Use • Privacy Policy