Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains >

ForAll (ForAll)

ForAll[x, expr]
represents the statement that expr is True for all values of x.
ForAll[x, cond, expr]
states that expr is True for all x satisfying the condition cond.
ForAll[{x1, x2, ...}, expr]
states that expr is True for all values of all the x_i.
  • ForAll[x, expr] can be entered as  forall _xexpr. The character  forall can be entered as Esc fa Esc or \[ForAll]. The variable x is given as a subscript.
  • ForAll[x, cond, expr] can be entered as  forall _(x,cond)expr.
  • ForAll[x, cond, expr] is output as ForAllx, condexpr.
  • The condition cond is often used to specify the domain of a variable, as in xElementIntegers.
  • ForAll[{x1, x2, ...}, ...] is equivalent to  forall _(x_1)( forall _(x_2)...).
  • The value of x in ForAll[x, expr] is taken to be localized, as in Block.
This states that for all x, a x^2+b x+c is positive:
In[1]:=
Click for copyable input
Out[1]=
Use Resolve to get a condition on real parameters for which the statement is true:
In[2]:=
Click for copyable input
Out[2]=
Reduce gives the condition in a solved form:
In[3]:=
Click for copyable input
Out[3]=
New in 5
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team