Report - Tema 7: Razonamiento sobre programas - Inform ...jalonso/cursos/i1m-09/temas/tema-7.pdf · prop_doble_negacion x = not (not x) == x I Comprobación: *Main> quickCheck prop_doble_negacion

Please pass captcha verification before submit form