Word.ws English Dictionary

inference rules

inference rules is the plural of inference rule.

Meaning of inference rule

Noun

inference rule (plural inference rules)

  1. (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).

Questions about inference rules

What is inference rules the plural of?
Inference rules is the plural of inference rule.

Words near inference rules in the dictionary

  1. inferable
  2. inferably
  3. Inferagrarian
  4. inference
  5. inference rule
  6. inference rules
  7. inference to the best explanation
  8. inferences
  9. inferencing
  10. inferent
  11. inferential

Source and license

Adapted from Wiktionary: inference rules (page history and authors); inference rule (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “inference rules.” Word.ws, https://word.ws/inference_rules. Based on Wiktionary, CC BY-SA 4.0.