• ← False
• → Nand

Implies (⇒)

WMA link

Implies[$expr_1$, $expr_2$]

$expr_1$ \u21d2 $expr_2$

evaluates each expression in turn, returning True as soon as the first expression evaluates to False. If the first expression evaluates to True, Implies returns the second expression.

• • Implies[False, a]

• • Implies[True, a]

If an expression does not evaluate to True or False, Implies
returns a result in symbolic form:

• • Implies[a, Implies[b, Implies[True, c]]]