How to pronounce “inference rule”

Meaning

• [Noun]
• (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).

Practice Nearby Words

formation rule, formal system, natural deduction, propositional logic, formula, proof system, well-formed formula, sequent calculus, logic, subformula, valuation, rewriting, theorem, figure, inference to the best explanation, prime formula, degree, linear logic, constructive logic, logical calculus, peirce's law, elementary equivalence, existential instantiation, formal logic, conservative extension, intensional logic, rewrite, predicate logic, analysis, if-thenism, model, ratio formalis, argument form, coinduction, induction, entscheidungsproblem, exportation, chain rule, interpretation, synthesis, theory, valuation function, transformational rule, deduction, generalization, proof, first-order logic, forward reasoning, herbrand's theorem, rule, context, strict implication, succedent, schema, intuitionistic logic, herbrandization, simplification, closed formula, completeness, intuitionism, weakening, conjunctive normal form, sentential logic, metatheorem, forcing, combinatory logic, turnstile, propositional function, löb's theorem, second-order logic, lemma, simpson's rule, proof by example, boolean logic, logicism, quantification, mathematical logic, structure, propositional calculus, prenex normal form, propositional constant, heyting algebra, mathematical induction, many-valued logic, atomic formula, logic diagram, deductive reasoning, infix operator, skolemization, implicand, graphoid, postulate, kripke model, fuzzy math, sublogic, positive logic, buridan formula, law of excluded middle, l'hôpital's rule, product rule

Similar Sounds

inferencing, inferential, inference, conference room, entrance hall, onion roll, sensorineural, sufferance, suffrance, souffrance