Как использовать Resolve поверх пользовательского домена

Question

A = {1,2,3,4}

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

Resolve[%]

Приведенный выше код дает мне следующую ошибку:

Невозможно разрешить условие членства в домене или регионе {1,2,3,4}[Элемент]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