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