RE: Logical Expression

*To*: mathgroup at smc.vnet.net*Subject*: [mg73443] RE: [mg73385] Logical Expression*From*: "Simons, F.H." <F.H.Simons at tue.nl>*Date*: Fri, 16 Feb 2007 01:08:05 -0500 (EST)

Martin, Your common sense seems to be based on the assumption that your "something" is a real number. What do you expect if it is a complex number, of a symbolic expression? Making your assumption more explicit gives your expected result: Assuming[ Element[ a , Reals], Simplify[a == 0 && a > 0]] returns False. Regards, Fred Simons Eindhoven University of Technology