⇒ (rightwards double arrow)

The logical implication operator.

Syntax

• p ⇒ q

  • p and q are booleans

Description

⇒ is the logical implication operator. The truth table for ⇒ is as follows:

⇒ is a binary operator implemented by the ImpliesRight function.

Notes

⇒ does NOT perform boolean short-circuit evaluation.

The value of p ⇒ q is equal to the value of ¬p ∨ q, but the latter expression is evaluated using boolean short-circuit evaluation.

See also

• Logical operators (list)