Большой энциклопедический словарь - дедукция

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