Por varias razones:
- Hay un hueco importante al buscar ``deducción natural''
en Google. Yo mismo necesité estudiarlo antes del examen y no encontré
nada útil que me ayudara. Lo mismo con natural deduction o
nd: había algunos tutoriales, pero ninguno estaba bien hecho:
o no se entendía, o los caracteres especiales no se veían bien, o
daban todo por entendido. Así que me propuse aportar este tutorial
que seguro que ayudará a mucha gente.
- Es un tema que me gusta y se me da bien.
- Hace pensar. Quizás no tenga mucha utilidad práctica, pero realmente
hay que esforzarse y pasarse un buen rato para resolver algunos problemas
muy simples.
- Confieso que escribí esto para aprender a procesar textos con LATEX.
Cuesta mucho trabajo aprender, pero los resultados hacen que valga
la pena.
Daniel Clemente Laboreo
2005-05-17
