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

ImpliesRealQ


tests whether the inequalities and equations imply the for all real values of all variables.