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