Xoom, te agradesco tu ayuda, pero en realidad el problema resulta que el usuario tecleea las premisas con el programa en ejecucion, por lo que en realdiad al codigo le toca manipular esas premisas con el metodo de resolucion para llegar a obtener su valor de verdad. Agradezco tu ayuda, hasta luego