MathGroup Archive 2009

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: about Implication

  • To: mathgroup at
  • Subject: [mg101572] Re: about Implication
  • From: Bill Rowe <readnews at>
  • Date: Fri, 10 Jul 2009 06:46:48 -0400 (EDT)

On 7/9/09 at 1:58 AM, olfa.mraihi at (olfa) wrote:

>Hi mathematica community, when trying to use the function ImpliesQ
>(that tests if exp1 implies exp2 or not) mathematica show me a
>message telling that this function becomes obsolete and will
>disappear in mathematica8, could you tell me why? and by which
>function it is replaced. NB:Implies doesnt do the same thing as
>ImpliesQ. thank you.

In the current release version of Mathematica that runs on Mac

In[2]:= $Version

Out[2]= 7.0 for Mac OS X x86 (64-bit) (February 19, 2009)

there is no built-in function named ImpliesQ.

And I strongly suspect anyone who posts here that has actual
knowledge of what future versions of Mathematica will look like
is not free to post those details here.

  • Prev by Date: Re: BarChart and ChartStyle
  • Next by Date: Re: Is it possible to impose a condition on an iterator of
  • Previous by thread: Re: Re: about Implication
  • Next by thread: BarChart and ChartStyle