Miguel Ángel Peralta Pérez.

Numero de matrícula: 422123075.

Nombre de la materia: Lógica II.
Actividad: Reducción al absurdo.

Ejercicio 1:

No es el caso que o bien se olvidó o no fue capaz de terminar. Por lo tanto, fue capaz de
terminar.

Formalización:

1) ¬ (P v ¬Q)  Q

Deducción:
2) ¬ (P v ¬Q)
3) ¬Q Premisa Adicional
4) ¬P ^ ¬¬Q TM 2
5) ¬P E^5
6) ¬¬Q E^6
7) Q DN 7
8) ¬Q ^ Q I ^ 3,7
9) ¬¬ Q I¬ 3,8
10) Q DN 9
 Miguel Ángel Peralta Pérez.
Numero de matrícula: 422123075.
Nombre de la materia: Lógica II.
Actividad: Reducción al absurdo.

Ejercicio 2:

O admito que la vida tiene sentido o admito que no lo tiene.  Si admito que tiene sentido,
entonces existe una orientación para vivir.  Si no admito que la vida tiene sentido, entonces
acepto que la vida es un absurdo. Por lo tanto, o reconozco que la vida es un absurdo o
reconozco que la vida tiene una orientación para vivir.

Formalización:

((P ^ ¬P) ^ ((P  Q) ^ (¬P  R)))  (R v Q)

Deducción:

1) ((P ^ ¬P) ^ ((R  Q) ^ (¬P  R)))

2) ¬ (R v Q) Premisa adicional
3) ¬R v ¬Q TM 3
4) P v ¬P E^1
5) ((P  Q) ^ (¬P  R)) E^1
6) QvR Dc 4,5
7) RvQ Conm 6
8) (¬R v ¬Q) ^ (R v Q) I ^ 3,7
9) ¬ (¬R v ¬Q) I ¬ 2,8