DEDUCCIN NATURAL CONSEJOS Y EJERCICIOS

1
DEDUCCIÓN NATURAL( CONSEJOS Y EJERCICIOS)

• Los consejos que puedes seguir para
  realizar los ejercicios de deducción natural son
  los siguientes
• Presta atención a la conectiva dominante de la
  fórmula que tienes que demostrar (puede ser una
  conjunción, disyunción, condicional ).
• Dado que siempre tendremos reglas tanto para
  introducir como para eliminar una conectiva, si
  lo que hemos de demostrar es (por ejemplo) una
  conjunción entonces deberemos estar atentos a
  utilizar la regla que nos permita precisamente la
  INTRODUCCIÓN DE LA CONJUNCIÓN.
• Siempre hemos de fijarnos en las premisas que se
  nos dan. Esto puede ayudarnos a iniciar el
  ejercicio dándonos una pista sobre el tipo de
  reglas a utilizar.

2
VEAMOS UN EJEMPLO

• 
  ? p
• -1. m ? n
• -2. t ? m
• -3. n ? p
• -4. t
• 5. m Modus
• Ponens
• SEGUIMOS EL EJERCICIO A PARTIR DE ESTA LÍNEA.