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