Export (0) Print
Expand All
Expand Minimize
0 out of 2 rated this helpful - Rate this topic

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.

Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft. All rights reserved.