предикат p(x1,x2,...,xn), заданный на множестве 
, называется выполнимым, если существует такой набор переменных, взятый из множеств mi , что при подстановке их вместо xi получим …
предикат p(x1,x2,...,xn), заданный на множестве , называется выполнимым, если существует такой набор переменных, взятый из множеств mi , что при подстановке их вместо xi получим …