## RESOLUTION

### Resolution

In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a first-order formula is unsatisfiable; this method may prove the satisfiability of a first-order satisfiable formula, but not always, as it is the case for all methods for first-order logic . Resolution was introduced by John Alan Robinson in 1965.

The above text is a snippet from Wikipedia: Resolution (logic)

### resolution

#### Noun

1. A strong will, determination.
2. The state of being resolute.
3. A statement of intent, a vow
4. The act of discerning detail.
5. The degree of fineness with which an image can be recorded or produced, often expressed as the number of pixels per unit of length (typically an inch).
6. The number of pixels in an image being stored or displayed.
7. The process of determining the meaning of a symbol or address; lookup.
name resolution
8. The act or process of solving; solution.
the resolution of an equation
9. A formal statement adopted by an assembly.
10. The separation of the constituent parts (of a spectrum etc).
11. The degree of fineness of such a separation.
12. Progression from dissonance to consonance; a chord to which such progression is made.
13. The moment in which the conflict ends and the outcome of the action is clear.

The above text is a snippet from Wiktionary: resolution