inference rule

短语

[计] 推理规则, 推理法则

词形变化

inference rules 复数 inference rules

释义与例句

n.
  1. 1.

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

    数学 哲学