El tipo de las fórmulas proposicionales: Valor de una fórmula

Una interpretación de una fórmula es una función de sus variables en los booleanos. Por ejemplo, la interpretación que a la variable A le asigna verdadero y a la B falso se puede representar por

El tipo de las intepretaciones de puede definir por

El valor de una fórmula en una interpretación se calcula usando las funciones de verdad de las conectivas que se muestran a continuación

Usando el tipo de las fórmulas proposicionales definido en el ejercicio anterior, definir la función

tal que valor i p es el valor de la fórmula p en la interpretación i. Por ejemplo,

Soluciones

A continuación se muestran las soluciones en Haskell y las soluciones en Python.


Soluciones en Haskell


Soluciones en Python

Escribe tu solución