Teoría

Este ejercicio es bastante similar al anterior, pero ahora como se trata de una demostración son varios paso y por cada paso tenemos que indicar la regla de inferencia utilizada.

A partir de la premisa hacia abajo nos encontramos con todas premisas nuevas, resultados de haber aplicado las reglas de inferencia. Las nuevas premisas que obtenemos podemos seguir utilizando para demostrar las que vienen.

Consigna

Para las siguientes demostraciones de la validez de los argumentos dados, indique qué reglas de inferencia se han aplicado.

Resolución

A)

1. Con simplificación de la premisa 2 extraemos la proposición a ^ b
2. Modus Ponens entre 1 y 3.
3. Simplificación de 3
4. Modus ponens entre 4 y 5
5. Simplificación de 6
6. Ampliación de 8

B)

1. Silogismo disyuntivo entre 1 y 4
2. Dilema constructivo entre 2 y 5 (La premisa 2 se puede simplificar separandolas)