inference rule

noun

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

Meanings

nouninference rule (plural inference rules)

plural inference rules

  1. proof theoryhuman sciencesA rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).
Cite this entry
APA

inference rule. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/inference%20rule

MLA

“inference rule.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/inference%20rule. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “inference rule,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/inference%20rule.

Source: inference rule on Wiktionary, CC BY-SA 4.0.