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.
Substitution and Unification<br />
Union of θ and δ:<br />
θ , δ : substitution.<br />
ε : empty substitution.<br />
E: Expression.<br />
Properties:<br />
1. E(θδ) = (Eθ)δ.<br />
2. Eε = E<br />
3. θε = εθ = θ<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 65