Следствие предиката

[Mitrius_Math]

Пусть $P(x_1,x_2,...,x_n)$ - предикат, определённый на множествах $M_i$ ($i=1,2,...,n$), причём указанные множества не являются конечными. Существует ли алгоритм нахождения всех следствий данного предиката? Аналогичный вопрос для обратной задачи.

[Deggial]

Mitrius_Math в сообщении #948054 писал(а):

Существует ли алгоритм нахождения всех следствий данного предиката?

Список следствий, очевидно, бесконечен. В каком смысле выписывать все следствия?

[Null]

Ну например для предиката $x=0$ следствиями будут все предикаты вида $x\in S$, где $S$ - множество содержащее 0.
Mitrius_Math, я вас правильно понял?