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