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