Unique Variable Binding Rule (UVBR)

Two variables in one wff cannot be replaced by the same term.

or

Two terms in an mgu cannot be equal.

Previous slide

Next slide

Back to first slide

View graphic version