This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
Wolfram Research, Inc.

Experimental`ForAllRealQExperimental`ImpliesRealQ

Experimental`ImpliesQ

FilledSmallSquareImpliesQ[, ] tests whether the expression implies .

FilledSmallSquareImpliesQ 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.

FilledSmallSquare Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.

Experimental`ForAllRealQExperimental`ImpliesRealQ