Translation of "inference rule" into Korean

유추 규칙 is the translation of "inference rule" into Korean.

inference rule noun grammar

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

+ Add

English-Korean dictionary

  • 유추 규칙

    The command that runs if the dependency is not current.

  • Show algorithmically generated translations

Automatic translations of "inference rule" into Korean

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "inference rule" with translations into Korean

Add

Translations of "inference rule" into Korean in sentences, translation memory