Windows Live® の検索結果- 演繹 - Wikipedia
演繹 （えんえき、ラテン語 deducere）法は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る 推論 方法である。対義語は 帰納法 。帰納の導出関係は蓋然的に正しいのみだが、演繹の導出関係は前提を認めるなら絶対的、必然的に正しい。 - 演繹と帰納
先ず 演繹 (えんえき) という言葉の意味は (英 deduction) 一般的な命題から特殊な命題を, また, 抽象的な命題から具体的な命題を, 経験に頼らないで, 論理によって導くこと。 で, 演繹法 というのは 演繹による推理の方法。 - 演繹定理 - Wikipedia
演繹定理 （ 英: Deduction theorem ）とは、 数理論理学 において、論理式 E から 論理式 F が 演繹 可能ならば、 含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。記号的に表すと、 ならば、 である。
すべての検索結果 :
Windows Live® の検索結果
演繹
演繹 えんえき Deduction
百科事典項目
論理学において、いくつかの前提から1つの結論をみちびくやり方。演繹的推論においては、前提は一般的な命題で、結論はその一般的事態にふくまれる個別的な事態についての命題であるから、前提が真である場合、結論もかならず真になる。
もしすべての人間が1つの頭と2本の手をもち(大前提)、ソクラテスが人間であるならば(小前提)、ソクラテスは1つの頭と2本の手をもつという結論が論理的にみちびかれる。これは、2つの前提があたえられれば、1つの結論がそこから論理的にみちびかれるという三段論法の一例だが、三段論法は演繹のもっとも基本的な形である。→ 帰納：論理学
© 1993-2009 Microsoft Corporation. All Rights Reserved.
|
