SoloCodigo

Programación General => C/C++ => Visual C++ => Mensaje iniciado por: Chika202 en Martes 21 de Noviembre de 2006, 04:17

Título: Metodos De Resolucion
Publicado por: Chika202 en Martes 21 de Noviembre de 2006, 04:17
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!

 :blink: