Predicate Logic
Predicate Logic
Predicate Logic
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Resolution<br />
9. Add every qualifier to clause:<br />
That is:<br />
(∀X: P(X) ^ Q(X) )<br />
=<br />
∀X: P(X) ^ ∀X: Q(X)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 59