Статьи в словаре Ефремовой
1. Умозаключение, в котором из двух суждений-посылок получается третье - вывод (в логике).
