Revision history [back]

First: [x>0] is a list

see:

type([x>0])

In your equation

[x>0] == [1==1]

you actually compare two different lists.

(x>0) == (1==1)

doesn't help

x>0 is a symbolic expression

1==1 gives the logical value True

What you can do is:

assume(x>0) 
print(bool(x>0) == bool(1==1))