resolution 1 resolución Método sólido y completo para obtener pruebas por contradicción. Los axiomas y la negación de la conclusión deseada se convierten en un conjunto de cláusulas en forma conjunta normal. 2018-02-28 Propositional LogicPL
