inference rule
Noun
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002
Noun
inference rule (plural inference rules)
- (logic, 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).
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002