⇐ (leftwards double arrow)
The logical reverse implication operator.
Syntax
-
p ⇐ q-
pandqare booleans
-
Description
⇐ is the logical reverse implication operator. The truth table for ⇐ is as follows:
|
qp
|
false | true |
|---|---|---|
| false | true | true |
| true | false | true |
⇐ is a binary operator implemented by the ImpliesLeft function.
Notes
⇐ does NOT perform boolean short-circuit evaluation.
The value of p ⇐ q is equal to the value of ¬q ∨ p, but the latter expression is evaluated using boolean short-circuit evaluation.
See also
-
Logical operators (list)