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.
8. Separate clauses.<br />
Resolution<br />
If having the clause form:<br />
(a v ¬b) ^ (¬a v c v d) ^ (a v ¬c v e)<br />
Then:<br />
1. (a v ¬b)<br />
2. (¬a v c v d)<br />
3. (a v ¬c v e)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 58