如何在自定义域上使用解析

Question

A = {1,2,3,4}

ForAll[x, Element[A,x], x+1>0 ]

Resolve[%]

上面的代码给我以下错误：

  

无法解决域或区域成员资格条件{1,2,3,4} [Element] x。

Answer 1

我认为您有向后Element[A,x]的参数，因为A是您的域，而x是该域的元素。仅仅反转它们不足以消除错误消息，但这似乎足够。

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

返回True