Diferencia entre revisiones de «Lógica combinatoria»
Contenido eliminado Contenido añadido
m robot Añadido: zh |
m Robot: Reemplazo automático de texto (-={2}\s*(?i)(ver|v[eé]ase)\s*(?i)tambi[eé]n\s*={2} +== Véase también ==) |
||
Línea 285:
lo que significa que la forma normal de ('''S''' '''I''' '''I''' ''Z'') es simplemente '''I''', otra contradicción. Por tanto, el hipotético combinador de forma normal '''N''' no puede existir.
==
*[[Haskell Curry]]
|