推論規則
演繹の推論規則 |
---|
命題計算 |
モーダスポネンス |
述語計算 |
存在例化 |
カテゴリ:推論規則 |
推論規則(すいろんきそく)とは、論理式から他の論理式を導く規則である。
公理、代入規則、推論規則によって理論を形式化したものは公理系である。 公理は対象語の記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。 推論規則は恒真式 (トートロジー)から導くのが妥当である。
代表的な推論規則を以下に示す。(‘¬’は否定、‘→’は内含、他は論理式)
演繹の推論規則 |
---|
命題計算 |
モーダスポネンス |
述語計算 |
存在例化 |
カテゴリ:推論規則 |
推論規則(すいろんきそく)とは、論理式から他の論理式を導く規則である。
公理、代入規則、推論規則によって理論を形式化したものは公理系である。 公理は対象語の記号だけで記述されるが、推論規則や代入規則はこれらの記号について述べているメタ言語で記述される。 推論規則は恒真式 (トートロジー)から導くのが妥当である。
代表的な推論規則を以下に示す。(‘¬’は否定、‘→’は内含、他は論理式)