• Implies[p, q] represents the logical implication .
• Implies[p, q] is equivalent to !p || q.
• Implies[p, q]
can be input in StandardForm
as p q
. The character
can be entered as =>
• New in Version 1; modified in 3.