OR事典 |
 
|
論理推論
読み方：ろんりすいろん
【英】：logical inference
【英】：logical inference
記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論理体系ごとに推論規則が存在するが, 例えば一階述語論理ではモーダスポーネンス(2つの任意の論理式とこれら論理式間の関係が与えられたとき, ある論理式から他方を導く推論規則)が唯一の推論規則である.
「OR事典」の他の用語
| 近似・知能・感覚的手法： | 縮約 記号論理学 論理プログラミング 論理推論 識別不能性 近似アルゴリズム 逆伝播学習アルゴリズム |
論理推論と同じ種類の言葉
論理推論に関係した商品
- 【送料無料】 パラドックスの不思議 論理と集合 情報数学の世界 / 有沢誠 【全集・双書】HMV ローソンホットステーション R
- 【送料無料】パラドックスの不思議楽天ブックス
論理推論のページへのリンク
