форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод).