Re: about Implication
- To: mathgroup at smc.vnet.net
- Subject: [mg101572] Re: about Implication
- From: Bill Rowe <readnews at sbcglobal.net>
- Date: Fri, 10 Jul 2009 06:46:48 -0400 (EDT)
On 7/9/09 at 1:58 AM, olfa.mraihi at yahoo.fr (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 OS X, In:= $Version Out= 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.