論理推論
2008年11月14日 (金) 09:53時点におけるAlbeit-Kun (トーク | 投稿記録)による版
【ろんりすいろん (logical inference)】
記号論理を用いた推論のこと. 公理と推論規則, およびそれらから導出される(つまり証明される)定理のみによって推論が行われる. 各記号論理体系ごとに推論規則が存在するが, 例えば一階述語論理ではモーダスポーネンス(2つの任意の論理式とこれら論理式間の関係が与えられたとき, ある論理式から他方を導く推論規則)が唯一の推論規則である.