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
Show:
Returns true if the first argument is false, the second argument is true, or both.
Implies[a, b]
a -: b