El tipo de las fórmulas proposicionales
1. El tipo de las fórmulas proposicionales en Haskell
La fórmula A → ⊥ ∧ ¬B se representa por
|
1 |
Impl (Var 'A') (Conj (Const False) (Neg (Var 'B'))) |
usando el tipo de las fórmulas proposicionales definido por
|
1 2 3 4 5 6 |
data FProp = Const Bool | Var Char | Neg FProp | Conj FProp FProp | Impl FProp FProp deriving Show |
1. El tipo de las fórmulas proposicionales en Haskell
La fórmula A → ⊥ ∧ ¬B se representa por
|
1 |
Impl(Var('A'), Conj(Const(False), Neg (Var('B')))) |
usando el tipo de las fórmulas proposicionales definido por
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 |
from dataclasses import dataclass @dataclass class FProp: pass @dataclass class Const(FProp): x: bool @dataclass class Var(FProp): x: str @dataclass class Neg(FProp): x: FProp @dataclass class Conj(FProp): x: FProp y: FProp @dataclass class Impl(FProp): x: FProp y: FProp |