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
[('A', True), ('B', False)]
El tipo de las intepretaciones de puede definir por
type Interpretacion = [(Char, Bool)]
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
|---+----| |---+---+-------+-------| | p | ¬p | | p | q | p ∧ q | p → q | |---+----| |---+---+-------+-------| | T | F | | T | T | T | T | | F | T | | T | F | F | F | |---+----| | F | T | F | T | | F | F | F | T | |---+---+-------+-------|
Usando el tipo de las fórmulas proposicionales definido en el ejercicio anterior, definir la función
valor :: Interpretacion -> FProp -> Bool
tal que valor i p
es el valor de la fórmula p
en la interpretación i
. Por ejemplo,
λ> p = Impl (Var 'A') (Conj (Var 'A') (Var 'B')) λ> valor [('A',False),('B',False)] p True λ> valor [('A',True),('B',False)] p False