Hola, me preguntaba si alguno de uds sabe o tiene el codigo para decir si son validas premisas logicas por el metodo de resolucion?, es ke por mas ke lo intento programar no me valida de acuerdo a las leyes de inferencia! Me refiero a validar si el enunciado es verdadero o falso y no a vr si es formula bien formada. ¿Alguna idea o sugerencia? Lo apreciare profundamente!
