推論規則

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

推論規則(すいろんきそく)とは、論理式から他の論理式を導く規則である。

記号、公理代入規則推論規則によって理論を形式化したものを公理系という。 公理は記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。 推論規則は恒真式 (トートロジー)から導くのが妥当である。

代表的な推論規則を以下に示す。(⊢は証明を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。)

関連項目[編集]