Programación Lógica (Metodo de Resolución)
Que tal foro !!!!
Necesito hacer un programa que compruebe Tautologias mediante el Método de Resolución, pero que previamente compruebe que las premisas introducidas son Formulas Bien Formadas.
Si alguien puede ayudarme o sabe donde puedo encontrar ayuda al respecto se lo agradecere infinitamente.
De antemano muchas gracias !!!!
__________________
Saludos desde Guadalajara, Jalisco, México
|