Re: Strange diference in outputs!
- To: mathgroup at smc.vnet.net
- Subject: [mg113680] Re: Strange diference in outputs!
- From: Andrea <btlgs2000 at gmail.com>
- Date: Sun, 7 Nov 2010 05:12:31 -0500 (EST)
- References: <ib38t8$f20$1@smc.vnet.net>
On Nov 6, 10:59 am, olfa <olfa.mra... at yahoo.fr> wrote:
> Hi Mathematica Community
>
> why the output for Print[Not[ForAll[{x,y},x<y]]] is not the same as for
> Print[Not[ForAll[ToExpression["{x,y}"],x<y]]] ?!!
>
> Thank you.
ForAll has attribute HoldAll.
Print[Not[ForAll[Evaluate@ToExpression["{x,y}"], x < y]]] works the
same as
Print[Not[ForAll[{x, y}, x < y]]]
Andrea