Next:
Basics of first order
Basics of first order predicate logic
The language
Interpretations and models
Clause form
Converting any formula to clause form
Finding logical consequences
Resolution Principle
About this document ...
Alan Bond
2000-01-10
