A = {1,2,3,4}
ForAll[x, Element[A,x], x+1>0 ]
Resolve[%]
The above code gives me the following error:
Unable to resolve the domain or region membership condition {1,2,3,4}[Element]x.
A = {1,2,3,4}
ForAll[x, Element[A,x], x+1>0 ]
Resolve[%]
The above code gives me the following error:
Unable to resolve the domain or region membership condition {1,2,3,4}[Element]x.
I think you have the arguments to
Element[A,x]
backwards, becauseA
is your domain andx
is an element of that domain. Just reversing those is not sufficient to eliminate the error message, but this appears to be enough.which returns
True