Predicate Logic
Predicate Logic
Predicate Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Unification:<br />
Substitution and Unification<br />
If θ The most general unifier of S containing<br />
expression, then: Sθ is a set having single<br />
element.<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 66