Re: Please help
- To: mathgroup at smc.vnet.net
- Subject: [mg112220] Re: Please help
- From: Peter Pein <petsie at dordos.net>
- Date: Sun, 5 Sep 2010 05:27:50 -0400 (EDT)
- References: <i5suar$pc6$1@smc.vnet.net>
Am Sat, 4 Sep 2010 08:00:27 +0000 (UTC) schrieb olfa <olfa.mraihi at yahoo.fr>: > Hi Mathematica Community, > > Is Mathematica able to detect(recognize) implication between > equations? > > Thank you. > You can test for implications using Implies[] and (Full)Simplify[]: In[1]:= Simplify[x^2 + y^2 <= r^2 \[Implies] x <= r, r >= 0 && Element[x | y, Reals]] Out[1]= True hth, Peter