Clase 2310 Lógica Colegio Watson

Demostración por el absurdo.

Pasos a seguir:
1. Supongo la negación de la conclusión
2. Intento deducir normalmente, para llegar a una letra cualquiera y su negación
3. Cuando logro esto, acabo de probar que mi supuesto inicial es absurdo, con lo que queda
demostrada la proposición contraria (la negación de la negación de la conclusión)
4. Por último, por doble negación, llego a la conclusión que estaba buscando originalmente.

Hay un principio de la lógica, que es el principio de NO CONTRADICCIÓN.

- (P ● -P)

1. (-p v q) ↄ r
2. -(q ↄ r)
------------------------/:. p
| 3. -p supuesto x absurdo
| 4. -p v q de 3 x adición
| 5. r de 1 y 4 x MPP
| 6. -(-q v r) de 2 x DC
| 7. --q . -r de 6 x De Morgan
| 8. -r . --q de 7 x conm.
| 9. -r de 8 x simpl.
| 10. r . -r de 5 y 9 x conjunción
11. --p de 3 a 10 x absurdo
12. p de 11 x doble negación

1. -(p . -q)
2. r ↄ p
-------------/:. q v -r
3.

1. ¬(P . ¬Q)
2. R => P
—---------------------/:. Q V ¬R
| 3. ¬( Q V ¬R) Supuesto x Abs
| 4. ¬Q . ¬¬R de 3 x De M.
|5. ¬¬R. ¬Q de 4 x Con
|6. ¬¬R de 5 x S
|7. R de 6 x DN
|8. P de 2 y 7 x MPP
|9. -P V ¬¬Q de 1. x De M
|10. ¬¬P de 8 x DN
|11. ¬¬Q de 9 y 10 x SD
|12. Q de 11 x DN
|13. ¬Q DE 4 X S
|14. Q . ¬Q de 12 y 13 x Conj.
15. ¬¬(Q V¬R) DE 3 A 14 X ABS
16. Q V ¬R de 15 x DN
1. (-p ↄ q) . (r ↄ s)
2. -p v r
3. -q
------------------/:. s
| 4. -s supuesto x absurdo
| 5. q v s de 1 y 2 x dilema constructivo
| 6. s de 5 y 3 x sd
| 7. s . -s de 6 y 4 x conjunción
8. --s de 4 a 7 x absurdo
9. s de 8 x DN

1. (-p ↄ q) . (r ↄ s)
2. -p v r
3. -q
------------------/:. s
| 4. -s supuesto x absurdo
| 5. (r ↄ s) . (-p ↄ q) de 1 x conmutación
| 6. r ↄ s de 5 x Simpl.
| 7. -r de 6 y 4 x MTT
| 8. r v -p de 2 x Conm.
| 9. -p de 8 y 7 x SD
| 10. -p ↄ q de 1 x Simpl.
| 11. q de 10 y 9 x MPP
| 12. q . -q de 11 y 3 x Conjunción
13. --s de 4 a 12 x absurdo
14. s de 13 x DN

1. (-p => -q) => r

2. p
----------------------/:. r
| 3. -r supuesto x absurdo
| 4. -(-p => -q) de 1 y 3 x MTT
| 5. -(--p v -q) de 4 x DC
| 6. -(p v -q) de 5 x DN
| 7. -p . --q de 5 x De Morgan
| 8. -p de 7 x Simpl.
| 9. p . -p de 2 y 8 x Conj.
10. --r de 3 a 9 x absurdo
11. r de 10 x DN