DocumentationMathematicaThe Mathematica BookMathematica Reference GuideExperimental Context Objects in Mathematica 5
Experimental`ImpliesQ
ImpliesQ[, ] tests whether the expression implies .
ImpliesQ returns False if it cannot determine whether implies , using any of its built-in transformation rules. The related function Implies[, ] remains unevaluated if it cannot immediately determine whether implies . See also: Implies, ImpliesRealQ, FullSimplify.
Further Examples
ImpliesQ[
, 
] tests whether the expression 
implies 
. 
implies 
, using any of its built-in transformation rules. 
, 
] remains unevaluated if it cannot immediately determine whether 
implies 
. 
![[ja]](/common/images2003/lang_bottom_ja.gif)