Теория дедукции (англ. Theory of deduction)
Здравствуйте! Мы рады приветствовать в этой публичной страничке добродушных и приятных людей!
Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путём выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.
Началом (посылками) дедукции являются аксиомы или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства. Противоположно индукции.