➊ процесс логического вывода, т. е. перехода от посылок к заключениям в соответствии с правилами логики
➋ конкретный вывод
➌ родовое наименование общей теории построения правильных умозаключений
➍ вид умозаключения, в котором осуществляется переход от общего к частному. В последнем значении дедуктивный вывод не может быть более общим, чем посылки (утверждения), приводящие к нему. Посылками могут быть аксиомы, постулаты, принципы.