ejercicio 6.14

Implemente una función validez() que toma una oración como entrada y retorna uno de los tres resultados: válida, satisfactible, insatisfactible. Úsela para resolver el problema del ejercicio 6.12. Va a necesitar definir una representación de oraciones a nivel de implementación. La forma más limpia para lograr esto es definir un tipo de datos abstracto para las oraciones compuestas. Comience escribiendo una función evalua_verdad() como una función recursiva que toma una oración y una asociación de valores de verdad con símbolos proposicionales, y retorna verdadero o falso. Luego invoque a evalua_verdad() para todas las posibles asignaciones de valores de verdad a los símbolos proposicionales.

Nota: Si usa objetos para implementar los tipos de datos abstractos, entonces evalua_verdad() puede ser un mensaje que entienda el objeto oración.