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