Algosim documentation: ⇐

⇐ (leftwards double arrow)

The logical reverse implication operator.

Syntax

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