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`ImpliesRealQ

FilledSmallSquare ImpliesRealQ[, ] tests whether the inequalities and equations imply the for all real values of all variables.

FilledSmallSquare See also: ForAllRealQ, ExistsRealQ, ImpliesQ, CylindricalDecomposition.

Further Examples