inference rule
Short definition from Wiktionary
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).
We haven’t written up inference rule yet: Simple and Standard meanings, examples and a quiz.