Definitions from Wiktionary (inference rule)
▸ 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).
▸ Words similar to inference rule
▸ Usage examples for inference rule
▸ Idioms related to inference rule
▸ Wikipedia articles (New!)
▸ Words that often appear near inference rule
▸ Rhymes of inference rule
▸ Invented words related to inference rule
▸ 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).
Similar:
formation rule,
formal system,
natural deduction,
propositional logic,
formula,
proof system,
well-formed formula,
sequent calculus,
logic,
subformula,
more...
▸ Words similar to inference rule
▸ Usage examples for inference rule
▸ Idioms related to inference rule
▸ Wikipedia articles (New!)
▸ Words that often appear near inference rule
▸ Rhymes of inference rule
▸ Invented words related to inference rule