## 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)*

and as such is available under the Creative Commons Attribution/Share-Alike License.

and as such is available under the Creative Commons Attribution/Share-Alike License.

### resolution

#### Noun

- A strong will, determination.
- The state of being resolute.
- A statement of intent, a vow
- The act of discerning detail.
- 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).
- The number of pixels in an image being stored or displayed.
- The process of determining the meaning of a symbol or address; lookup.
*name***resolution**

- The act or process of solving; solution.
*the***resolution**of an equation

- A formal statement adopted by an assembly.
- The separation of the constituent parts (of a spectrum etc).
- The degree of fineness of such a separation.
- Progression from dissonance to consonance; a chord to which such progression is made.
- The moment in which the conflict ends and the outcome of the action is clear.

*The above text is a snippet from Wiktionary: resolution*

and as such is available under the Creative Commons Attribution/Share-Alike License.

and as such is available under the Creative Commons Attribution/Share-Alike License.