Implies Operator (Solver Foundation)
Returns true if the first argument is false, the second argument is true, or both.
Implies[a, b]
a -: b
Example
Implies[x != 0, y >= 0]
x != 0 -: y >= 0
This operator must have exactly two arguments.
This browser is no longer supported.
Upgrade to Microsoft Edge to take advantage of the latest features, security updates, and technical support.
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.