Deducción natural

El metodo de deduccion natural, desarrollado por Gentzen, utiliza dos reglas de inferencia por cada conectiva: una para insertar la conectiva y otra para eliminarla

Las reglas de inferencia son:

A continuacion se incluyen varios ejemplos de demostraciones en deducion natural.

Para que sirve:

La deducción natural sirve para intentar demostrar que un razonamiento es correcto (``para comprobar la validez de un secuente'', dice la teoría). Ejemplo:
Yo te digo: ``En verano hace calor, y ahora estamos en verano, por eso hace calor''. Tú te pones a hacer cálculos, y respondes ``Vale, puedo demostrar que el razonamiento que has hecho es correcto''. Para eso sirve la deducción natural.


Programas para la deducion natural

Sin resultados al momento de encontrar un programa para calcular la deduccion natural.

Bibliográfia: 

http://di002.edv.uniovi.es/~labra/Logica/apuntes/nd.pdf

http://www.danielclemente.com/logica/dn-node12.html