3.2 Para qué no sirve

No sirve para demostrar la invalidez de una suposición. Si digo ``si es de día, no es de noche; y ahora es de día, por eso también es de noche'' te podrás pasar un rato probando las reglas de la deducción natural, pero sin conseguir nada útil. Al cabo de un rato irás intuyendo que probablemente el razonamiento no sea válido, y es entonces cuando habría que probar otros métodos -que no son el de deducción natural- con el fin de demostrar la invalidez. Están explicados más adelante.

O sea, que la deducción natural sirve sólo para demostrar la validez, pero no la invalidez. Qué pena, ¿no?

Tampoco sirve para dar una buena respuesta a la pregunta ``¿Qué pasaría si...?''. Cuando piden demostrar la validez de $A\vdash B$, hay que pensar en qué cosas pasarían si se cumpliera $A$, y si descubrimos que una de esas cosas es $B$, ya hemos acabado. Pero nunca podremos dar una lista finita de todas estas cosas.