Capítulo 6 “Deducción Natural”

La deducción natural consiste en obtener todas las conclusiones que se deducen basandose en la elección de una regla de inferéncia que aplicado a una o varias fbfs obtiene una nueva fbf y termina cuando se obtiene la fbf conclusión, es una método cercano al razonamiento intuitivo del ser humano, básicamente hay que:

1. Descomponer las premisas en diferentes pasos justificando el proceso con una regla de inferéncia.
2. Se obtienes una nueva fórmula lógica que es una conclusión derivada de las premisas.

Para ello debemos conocer las reglas de inferéncia, aquí teneis las reglas básicas de inferéncia existen más:

PRUEBA POR CONTRADICCIÓN: Si se debe obtener una fbf A, abrir una subdeducción con la fórmula ¬A y hacer inferencias hasta obtener una contradicción.