English » Arabic

Translations for „inference rule“ in the English » Arabic Dictionary

(Go to Arabic » English)

inference rule N COMPUT

Monolingual examples (not verified by PONS Editors)

English
It makes use of just two logical operators: implication and negation, and it is constituted by six axioms and one inference rule: modus ponens.
en.wikipedia.org

Choose your language Deutsch | English | Español | Français | Italiano | Polski