Cuando la regla de resolución se aplica a dos cláusulas se dice que éstas se resuelven entre ellas. Resolver una cláusula contra otra significa aplicarles la regla de resolución. A la cláusula resultante se le denomina resolvente.

Cuando dos cláusulas C1 y C2 se resuelven entre ellas y dan lugar a la resolvente C3 este hecho se representa de la manera siguiente: