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

Documentation / Mathematica / The Mathematica Book / Mathematica Reference Guide / Experimental Context Objects in Mathematica 5 /

Experimental`ImpliesQ

FilledSmallSquare ImpliesQ[, ] tests whether the expression implies .

FilledSmallSquare ImpliesQ returns False if it cannot determine whether implies , using any of its built-in transformation rules.

FilledSmallSquare The related function Implies[, ] remains unevaluated if it cannot immediately determine whether implies .

FilledSmallSquare See also: Implies, ImpliesRealQ, FullSimplify.

Further Examples