演繹的推論（読み）えんえきてきすいろん（英語表記）deductive inference (reasoning)

ブリタニカ国際大百科事典 小項目事典

演繹的推論
えんえきてきすいろん
deductive inference (reasoning)

少ない前提に少数の規則を繰り返し適用して新しい命題を導くこと，あるいはその過程。文字や数字などの記号を使ってその過程を形式的に表現したのが通常の論理 (古典論理 ) である。Aという前提があり，そこに「AならばB」という原因・結果の規則 (演繹規則) を適用すればBという結論が得られる。コンピュータではその過程を機械の上に実現して，人間に役立ついろいろな機能を実装している。逆に，与えられたさまざまな命題からその前提となる一般的な規則を導き出す推論を帰納的推論といい，人間に特有な知的情報処理である。

出典　ブリタニカ国際大百科事典 小項目事典