Meanings
plural inference rules
- 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
inference rule. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/inference%20rule
“inference rule.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/inference%20rule. Accessed November 3, 2026.
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.