演绎逻辑

在传统的亚里士多德逻辑中，演绎推理(deductive reasoning）是“结论，可从叫做前提的已知事实，“必然的”得出的推理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理，它们的前提可以预测出高概率的结论，但是不确保结论为真。

演绎逻辑在一般的逻辑教课书上通常被定义为，从一般到特殊的逻辑推理方法，也常被称之为一种必然性推理，或保真性推理。

“演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或“结论在确定性上，同前提一样”的推理。

演绎逻辑是研究演绎推理及其规律的逻辑科学。所谓演绎推理，就是前提和结论之间具有蕴涵关系的推理，即若从真实的前提出发，并且遵守演绎推理的规律与规则，必然得到真实的结论，因此也称演绎推理为必然性推理。演绎逻辑的中心任务在于提供鉴别推理有效与否的模式与准则，以便把有效的推理和非有效的推理区别开来。无论从历史发展还是从现实状况来看，演绎逻辑构成了逻辑学的主要内容。

演绎逻辑可分为传统演绎逻辑和现代演绎逻辑。传统演绎逻辑包括直言命题、直接推理、直言三段论的理论（简称词项逻辑），以及与之相关的概念（词项）理论；此外，还包括复合命题（联言命题、选言命题、假言命题、负命题）及其推理的理论。古希腊学者亚里士多德创立了系统的直言三段论学说，从而奠定了演绎逻辑的基础。现代演绎逻辑即最广义的数理逻辑，其特点是使用特制的人工符号语言和公理化、形式化方法研究演绎问题，从而扩大了演绎证明的手段，使传统演绎逻辑的许多概念得到更确切的解释，并把一系列新的问题，如演绎体系的不矛盾性、可靠性、完全性等问题，引入到演绎逻辑的研究范围之内。