此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

Experimental`ImpliesQ

Usage

ImpliesQ[ ,  ]用于测试 对于所有变量的值,表达式  是否能推出表达式


Notes

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