Полный англо-русский словарь
Формирование [получение] (логического) вывода; процесс (логического) вывода, (логический) вывод