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

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