推論規則

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

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