This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)


tests whether the expression implies .
  • returns False if it cannot determine whether implies , using any of its built-in transformation rules.
  • The related function Implies remains unevaluated if it cannot immediately determine whether implies .