Navigation
Home
Resources
Irregular verbs quizzes English conjugator English-French dictionary French dictionary English dictionary Monolingual dictionaries Scores by institution Free sample tests FAQ Pricing Tourism training Blog Videos
Login Sign up
Blog
Videos
Pricing
FR EN

inference rule

noun

inference rule

noun
1

Human sciences, Logic, Mathematics, Philosophy, Sciences A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).

Hyponyms
modus ponens, modus tollens, existential instantiation
Holonyms
formal system

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.