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