Services & ResourcesWolfram ForumsMathGroup Archive

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

Why doesn't TrueQ return True here?

• To: mathgroup at smc.vnet.net
• Subject: [mg119737] Why doesn't TrueQ return True here?
• From: Jacare Omoplata <walkeystalkey at gmail.com>
• Date: Sun, 19 Jun 2011 19:29:26 -0400 (EDT)

Here's the output.
-------------------------------------------------------
In[29]:= Element[{t1, t2}, Reals]

Out[29]= (t1 | t2) \[Element] Reals

In[30]:= $Assumptions = t2 > t1

Out[30]= t2 > t1

In[31]:= TrueQ[(t2 - t1) > 0]

Out[31]= False
------------------------------------------------------

I would expect TrueQ to return True, not False. Why does it return False?

And how can I test whether t2-t1 is positive?

Thanks.

• Follow-Ups:
  • Re: Why doesn't TrueQ return True here?
    • From: DrMajorBob <btreat1@austin.rr.com>