ДЕДУКТИВНЫЙ ВЫВОД

процесс установления логической связи между двумя и более переменными при помощи пропозициональной функции.

дедуктивный вывод—deductive reasoning...Русско-английский толковый словарь терминов по информатике