OBSOLETE EXPERIMENTAL PACKAGE SYMBOL

ImpliesQ

This functionality has been replaced by Resolve and related symbols.

ImpliesQ[expr1,expr2]
tests whether the expression expr1 implies expr2.

DetailsDetails

  • 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 builtin transformation rules.
  • The related function Implies[expr1,expr2] remains unevaluated if it cannot immediately determine whether expr1 implies expr2.
Translate this page: