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


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