Implies[p, q] represents the logical implication .
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.