Next:
3.1 Para qué sirve
Up:
Introducción a la deducción
Previous:
2.3 Precedencia de los
Contents
3
Deducción natural
Ahora toca explicar qué es, cómo se hace, y si tiene alguna utilidad.
Subsections
3
.
1
Para qué sirve
3
.
2
Para qué no sirve
3
.
3
Funcionamiento
3
.
4
Notación
Daniel Clemente Laboreo 2005-05-17
