How to use Resolve over custom domain

321 views Asked by At
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.

1

There are 1 answers

4
Bill On

I think you have the arguments to Element[A,x] backwards, because A is your domain and x is an element of that domain. Just reversing those is not sufficient to eliminate the error message, but this appears to be enough.

A = {1,2,3,4};
ForAll[x, Element[x,Integers]&&0<x<5, x+1>0 ];
Resolve[%]

which returns True