логическое заключение «от общего к частному». Это переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с необходимостью следует из принятых посылок. Характерная особенность дедукции – от истинных посылок она всегда ведёт только к истинному заключению.