Diferencia entre revisiones de «Lógica combinatoria»
Contenido eliminado Contenido añadido
the links to combinatory logic in both english and german languages were references to combinatorial logic, i.e. another topic. |
Pongo tilde a "sí mismo". |
||
Línea 236:
'''A''' = ('''S''' '''I''' '''I''' ('''S''' '''I''' '''I'''))
no tiene forma normal, porque se reduce a
('''S''' '''I''' '''I''' ('''S''' '''I''' '''I'''))
| |||