Explore relationships

Rules of replacement

In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression.

Use + to expand a branch. Click a topic name to open its summary.