Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
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.

© 2015 Microsoft