INFERENCERULE

inference rule

Noun

  1. A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).


The above text is a snippet from Wiktionary: inference rule
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!