Home / Dictionary / Inference rule

Inference rule Uncommon

Definition, synonyms and related words

Definitions
Noun
1

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

See Also
consensus theorem formal system existential instantiation formal language sequent calculus well formed formula natural deduction preserving
Related Terms
Rhyming Words
ule jule yule tule pule bule rule mule zule baule houle thule ovule joule boule brule poule soule emule maule
Compare
Inference rule vs