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

ImpliesRealQ

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