inference rule (English, noun)
expansion: inference rule (plural inference rules)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
qualifier: proof theory
glosses: A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).
Forms:
form: inference rules
tags: plural