Resolución en Lógica

La resolución es un método de inferencia lógica que deduce conclusiones a partir de un conjunto de proposiciones transformadas en cláusulas. Su técnica principal es la refutación por contradicción, donde se demuestra que la negación de una proposición lleva a una contradicción, confirmando su veracidad.

Proceso de Resolución en Lógica Proposicional

• Reducción al Absurdo: Consiste en transformar una proposición en una contradicción. Al añadir la negación de la proposición y llegar a una contradicción, se concluye que la proposición original es verdadera.
• Método de Resolución Binaria: Se seleccionan dos cláusulas con literales opuestos, formando una nueva cláusula resolvente. Este proceso se repite hasta obtener una contradicción o resolver todas las combinaciones posibles.

Ejemplo Simple

Si se sabe que se cumple "P ó Q" y "no P ó R", entonces se puede deducir que se cumple "Q ó R". Este proceso demuestra cómo la lógica proposicional lleva a conclusiones mediante resolución binaria.