Services & ResourcesWolfram ForumsMathGroup Archive

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

please is it possible with mathematica, thank you!

• To: mathgroup at smc.vnet.net
• Subject: [mg96715] please is it possible with mathematica, thank you!
• From: olfa <olfa.mraihi at yahoo.fr>
• Date: Sun, 22 Feb 2009 00:34:20 -0500 (EST)

Hi mathematica community!
I have this input: Not[(y > 0)] and Exists[{x}, (x > 0) && y == x -
1]
I want mathematica to give me y==0 as output.
Is it possible and if it is what predefined function should I use?In
this function I want to make this assumption:
 x and y are integers.
thank you very much.

• Follow-Ups:
  • Re: please is it possible with mathematica, thank you!
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>