       Re: Logical Expression

• To: mathgroup at smc.vnet.net
• Subject: [mg73432] Re: [mg73385] Logical Expression
• From: János <janos.lobb at yale.edu>
• Date: Fri, 16 Feb 2007 01:01:58 -0500 (EST)
• References: <200702150956.EAA04579@smc.vnet.net>

```On Feb 15, 2007, at 4:56 AM, Martin Schoenecker wrote:

> Common sense tells me that the statement that "something is equal to
> zero, and unequal to zero at the same time" is a false statement:
>
> In:= a == 0 && a != 0
> Out= a\[Equal]0&&a=E2=89=A00
>
> In:= LogicalExpand[%]
> Out= False
>
> The same, in my opinion, applies to "something is equal to zero and
> greater than zero at the same time".  Why doesn't Mathematica think
> so,
> and how to convince it to evaluate the following?
>
> In:= a == 0 && a > 0
> Out= a\[Equal]0&&a>0
>
> In:= LogicalExpand[%]
> Out= a\[Equal]0&&a>0
>
>
> Martin

Here is a newbie convince :)

In:=
Reduce[a == 0 && a > 0, a]
Out=
False

J=E1nos

----------------------------------------------
Trying to argue with a politician is like lifting up the head of a
corpse.
(S. Lem: His Master Voice)

```

• Prev by Date: Re: real function argument
• Next by Date: Re: Quick integral.
• Previous by thread: Logical Expression
• Next by thread: Re: Logical Expression