控除 - 1つ以上の文（施設）から1つの文（結論）のロジックでは、厳格な証拠、または導出、すなわち、前提または発生のステートメントの結果のいずれかでそれぞれの文の連鎖、証明の早い段階で。この用法は、ギリシャの哲学者アリストテレスが三段論法と呼んだものを一般化したものですが、三段論法は現在、単なる控除の特別な場合として認識されています。また、控除が「一般から特定へ」または「普遍から特定へ」進むという伝統的な見方は、ほとんどの論理学者によって誤っていると放棄されてきました。一部の専門家は、すべての有効な推論を形式の演繹と見なし、これと他の理由により、演繹と帰納の間の想定される対比を拒否します。こちらもご覧ください公理的方法; 正式なシステム; 推論。
このトピックについてもっと読む：演繹演繹推論、または演繹には、有効な形式の議論を分析し、その前提に暗黙の結論を引き出すことが含まれます。
