Implies

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.

Further Examples