Wiki.org.ai logoWiki.org.ai

rule of replacement

inference rule that may be applied to only a particular segment of an expression

Instance Of

Properties

Property Value
Subclass of Rule of inference