 |
ImpliesQ
tests whether the expression 
implies 
.
更多信息
- To use
, you first need to load the Experimental Functions Package using Needs["Experimental`"]. 
returns False if it cannot determine whether 
implies 
using any of its built-in transformation rules. - The related function Implies[expr1, expr2] remains unevaluated if it cannot immediately determine whether
implies 
.
