¿Qué es?
Es una regla útil para descartar cláusulas inútiles, y así agilizar la obtención o confimación de la imposibilidad de obtener la contradicción
Esta regla establece que las cláusulas que contienen literales no eliminables pueden descartarse porque cuando se utilizan cláusulas que contienen literales no eliminables, tarde o temprano se llega a una situación en la que no es posible continuar y hay que replantearse la última decisión.
A veces, la regla del literal puro permite llegar a demostrar que un razonamiento es no válido sin necesidad de llegar a aplicar la regla de resolución una sola vez. Otras veces, la aplicación de esta regla permite descubrir que hay premisas que no son necesarias para validar el razonamiento. Leti. logica de enunciados (p. 77). Kindle Edition.
¿Qué es un literal no eliminable?
Un literal es no eliminable cuando es positivo y no aparece en forma negativa en ninguna otra cláusula; o al revés, cuando es negativo y no aparece en forma positiva en cualquier otra cláusula.