Hola, se encuentra en la transparencia de "Implicancias" en la clase de Correctitud y Testing.
El código (sin azúcar sintáctico) es:
implies :: Bool -> Bool -> Bool
implies x y = not x or y
saludos
Hola, se encuentra en la transparencia de "Implicancias" en la clase de Correctitud y Testing.
El código (sin azúcar sintáctico) es:
implies :: Bool -> Bool -> Bool
implies x y = not x or y
saludos