Implies Operator (Solver Foundation)
TOC
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.

Show:
© 2016 Microsoft