¿Cómo es?
La notación que se utiliza para especificar las reglas de inferencia de la Deducción natural es la siguiente:
Enunciados necesarios para aplicar la regla
Enunciado obtenido de la aplicación de la regla
Para escribir la deducción se recomienda:
-
Escribir las premisas enumerandolas una debajo de la otra
-
Añadir comentarios a la derecha de cualquier enunciado para facilitar su lectura (P: Premisa, Regla, etc…)
-
Por último, aplicar las reglas: Cuando se aplica una regla, el enunciado resultante se pone al final de la lista siguiendo la numeración, y como comentario se indica la regla aplicada y el enunciado o enunciados de la lista (su número) a los que se ha aplicado.
-
Cuando es necesario, introducir en la deducción enunciados que no están en la lista y que no se pueden obtener mediante la aplicación de ninguna regla. Cuando es necesario hacer esto, se abre una subdeducción encabezada por el enunciado que se quiere introducir. enunciado introducido se comenta con H, que significa hipótesis. A partir del momento en que se inicia una subdeducción hay que continuar introduciendo los nuevos enunciados con el mismo sangrado. De esta manera se indica que lo que se está obteniendo está supeditado a un enunciado que el autor de la deducción ha introducido por razones estratégicas, pero que no es ni una premisa ni nada que se haya obtenido a partir sólo de estas premisas. Siempre es posible comenzar una subdeducción. Acabar una y volver al nivel inmediatamente anterior sólo se puede hacer siguiendo alguna de las reglas que lo permiten.
… no olvidar la utilización del sangrado dado que, además de facilitar la lectura, evita la introducción de errores.