Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
Implies Operator (Solver Foundation)
Collapse the table of content
Expand the table of content

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