¿Qué es?
Es una regla heurística que con frecuencia permite acelerar el proceso de obtención de una contradicción. En otros casos, quizá no lo acelera, pero puede ser útil para detectar que, si el razonamiento que se intenta validar es correcto, lo es porque sus premisas son inconsistentes.
¿Cómo es?
Dice que a la hora de aplicar el método de Resolución (Lógica) se elige como cláusula de inicio la primera del conjunto de apoyo. Si esta cláusula no permite llegar a una contradicción, debe intentarse con el resto de las cláusulas del conjunto de apoyo. Con esto, se llegará a una de estas dos situaciones:
- Se obtiene la contradicción y por tanto el razonamiento es válido
- Ninguna de las cláusulas del conjunto de apoyo permite obtener la contradicción. En este caso se tiene una de estas dos situaciones:
-
El razonamiento no es válido.
-
El razonamiento es válido, pero porque las premisas son inconsistentes.
A priori no puede decirse cuál de las dos situaciones se da realmente. Para saberlo, será necesario determinar si las premisas del razonamiento son o no inconsistentes.
-
Para saber si las premisas de un razonamiento son inconsistentes, puede utilizarse el método de resolución. Como conjunto de cláusulas se considera sólo las cláusulas de las premisas, sin hacer intervenir ninguna cláusula de la negación de la conclusión. Si se llega a obtener la contradicción, las premisas son inconsistentes. En caso contrario no lo son.