Experimental`
Experimental`

ImpliesQ

This functionality has been replaced by Resolve and related symbols.

ImpliesQ[expr1,expr2]

tests whether the expression expr1 implies expr2.

更多信息和选项

  • To use ImpliesQ, you first need to load the Experimental Functions Package using Needs["Experimental`"].
  • ImpliesQ returns False if it cannot determine whether expr1 implies expr2 using any of its built‐in transformation rules.
  • The related function Implies[expr1,expr2] remains unevaluated if it cannot immediately determine whether expr1 implies expr2.
Wolfram Research (2007)，ImpliesQ，Wolfram 语言函数，https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.

文本

Wolfram Research (2007)，ImpliesQ，Wolfram 语言函数，https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.

CMS

Wolfram 语言. 2007. "ImpliesQ." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.

APA

Wolfram 语言. (2007). ImpliesQ. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html 年

BibTeX

@misc{reference.wolfram_2024_impliesq, author="Wolfram Research", title="{ImpliesQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html}", note=[Accessed: 02-January-2025 ]}

BibLaTeX

@online{reference.wolfram_2024_impliesq, organization={Wolfram Research}, title={ImpliesQ}, year={2007}, url={https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html}, note=[Accessed: 02-January-2025 ]}