tests whether the expression implies .


  • To use , you first need to load the Experimental Functions Package using Needs["Experimental`"].
  • returns False if it cannot determine whether implies using any of its built-in transformation rules.
  • The related function Implies[expr1, expr2] remains unevaluated if it cannot immediately determine whether implies .
New to Mathematica? Find your learning path »
Have a question? Ask support »