Experimental`ImpliesQ
 Usage
• ImpliesQ[ ,  ]用于测试 对于所有变量的值，表达式  是否能推出表达式  。
Notes
• 当无法确定  是否推出 时，它可以通过使用其内置变换法则返回False。
• 相关函数Implies[ ,  ]在无法确定是否推出时，不会给出任何计算结果。
• 另见： Implies, ImpliesRealQ, FullSimplify.
• 注意：这是一个试验性的功能，可能不会得到Mathematica未来版本的支持，或者可能会有不同的规格要求。
|
