direct inference в энциклопедиях
мат. прямое [непосредственное] умозаключение; непосредственный вывод