ImpliesRight

The logical implication operator.

Syntax

• ImpliesRight(p, q)

  • p and q are booleans

Description

ImpliesRight implements the ⇒ operator.

See also

• ⇒