Re: Evaluating inequalities
- To: mathgroup at smc.vnet.net
- Subject: [mg131588] Re: Evaluating inequalities
- From: Andrzej Kozlowski <akozlowski at gmail.com>
- Date: Mon, 9 Sep 2013 00:05:29 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-outx@smc.vnet.net
- Delivered-to: mathgroup-newsendx@smc.vnet.net
- References: <l0el1t$1dt$1@smc.vnet.net> <20130908070614.BF9956A10@smc.vnet.net>
On 8 Sep 2013, at 09:06, "Nasser M. Abbasi" <nma at 12000.org> wrote: > On 9/7/2013 2:36 AM, sam.takoy at yahoo.com wrote: >> Hi, >> >> Why doesn't this: >> >> Assuming[w/k < KK, -k^2 + w^2/KK^2 > 0] // Simplify >> >> evaluate to False? >> >> Thanks! >> >> Sam >> > > > Assuming[w/k < kk, TrueQ[-k^2 + (w/kk)^2 > 0]] > > (* False *) > This is a really great way to prove absolutely anything you like (or its negation). And the reason is of course that TrueQ["Your understand what TrueQ is for."] False Andrzej Kozlowski
- References:
- Re: Evaluating inequalities
- From: "Nasser M. Abbasi" <nma@12000.org>
- Re: Evaluating inequalities