8.1 ¿Por qué se llama deducción natural?

Porque los procedimientos que hay que usar son los mismos que los que hace la gente al pensar.

Fíjate en los ejercicios resueltos. Expresa los secuentes en forma de palabras, díselos a alguien, y acabará diciéndote que ``claro que es así, porque ...''. Verás que cualquiera es capaz de contarte cómo se usan algunas de las 9 reglas, aunque no sepan su nombre o si existen.

Por eso, para descubrir cómo hacer un ejercicio de deducción natural, olvídate de reglas de introducción y eliminación, y piensa de forma normal, cambiando las letras por acciones sencillas. Va muy bien pensar en eso de llueve, no llueve, hace sol, no me mojo, ... porque son palabras cortas y además todos tienen muy claro qué pasa cuando llueve, y relacionan rápidamente el no mojarse con el hacer sol y no llover, o incluso con fórmulas más complicadas.