WOLFRAM

Wolfram Language & System Documentation Center

ImpliesQ[expr1,expr2]

tests whether the expression expr1 implies expr2.

Details and Options
Details and Options Details and Options
See Also
Cite this Page
Experimental`
Experimental`

ImpliesQ

This functionality has been replaced by Resolve and related symbols.

ImpliesQ[expr1,expr2]

tests whether the expression expr1 implies expr2.

Details and Options

  • 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 Language function, https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.

Text

Wolfram Research (2007), ImpliesQ, Wolfram Language function, https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.

CMS

Wolfram Language. 2007. "ImpliesQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.

APA

Wolfram Language. (2007). ImpliesQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html

BibTeX

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

BibLaTeX

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