Export (0) Print
Expand All
Expand Minimize

Implies Operator (Solver Foundation)

Solver Foundation 3.0

Returns true if the first argument is false, the second argument is true, or both.

Implies[a, b]
a -: b

Implies[x != 0, y >= 0]
x != 0 -: y >= 0

This operator must have exactly two arguments.

Show:
© 2014 Microsoft