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

Documentation / Mathematica / Built-in Functions / Programming / Logical Operations /

Implies

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

FilledSmallSquare Implies[p, q] is equivalent to !p || q.

FilledSmallSquare Implies[p, q] can be input in StandardForm and InputForm as p q. The character can be entered as AliasIndicator=>AliasIndicator or \[Implies].

FilledSmallSquare See Section 3.4.7.

FilledSmallSquare See also: LogicalExpand, If.

FilledSmallSquare New in Version 1; modified in 3.

Further Examples