Энциклопедический словарь

(от лат. deductio - выведение) - вывод по правилам логики; цепьумозаключений (рассуждение), звенья которой (высказывания) связаныотношением логического следования. Началом (посылками) дедукции являютсяаксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений(""общее""), а концом - следствия из посылок, теоремы (""частное""). Еслипосылки дедукции истинны, то истинны и ее следствия. Дедукция - основноесредство доказательства (см. Аксиоматический метод, Индукция)