English Dictionary

inference rule

名詞

(logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).

日本語の意味

形式論理や証明理論において、真理を保持する方法で整形式な論理式から新たな論理式を導出する規則。 / 既存の整形式な公式を利用して、新たな整形式な公式を得るためのルール。

When constructing the proof, we applied a single inference rule to derive the conclusion from the premises.

証明を構成する際、前提から結論を導くために単一の推論規則を適用した。

意味（1）

(logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).

inference rules （ plural ）