Explore relationships

Resolution (logic)

In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a sound and refutation-completetheorem-proving technique for sentences in propositional logic and first-order logic.

Use + to expand a branch. Click a topic name to open its summary.