Services & ResourcesWolfram ForumsMathGroup Archive

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

about Implication

• To: mathgroup at smc.vnet.net
• Subject: [mg101527] about Implication
• From: olfa <olfa.mraihi at yahoo.fr>
• Date: Thu, 9 Jul 2009 01:58:01 -0400 (EDT)

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.

• Follow-Ups:
  • Re: about Implication
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>