предикатный вывод

Мат. predicate inference