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

Мат. predicate inference

Источник: Полный русско-английский словарь на Gufo.me