inference rule

Etymology

inference + rule の複合語。導出を規定する規則。

Inference

前提から結論を導く過程。

Rule

定められた手続き。

Origin

形式論理。アリストテレス（三段論法）；現代の証明論。

Meaning

既存の命題から新しい命題を導く規則。

Earliest use

アリストテレス的三段論法；現代の形式化は証明論。

Definition

既存の命題から新しい命題を導く規則。モーダス・ポネンス、全称例化など。公理とともに、何が証明可能かを定義する。