Resolution principle
Redirect to:
Resolution (logic)