wolfram-mathematica - 如何在自定义域上使用 Resolve

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