Ejemplo 30: Demuestre ¬P
======================
DILEMA CONSTRUCTIVO
P v Q
P -> R
Q -> S
RESULTADO: R v S
======================
1. ¬(P y Q)
2. ¬Q -> R
3. S -> ¬R
4. ¬S -> ¬(P v ¬Q)
-------------------
5. ¬P v ¬Q, DE MORGAN 1
6. Q v R, IMPLICACIÓN Y DISYUNCIÓN 2
7. ¬S v ¬R,IMPLICACIÓN Y DISYUNCIÓN 3
8. S v (¬P y Q), IMPLICACIÓN Y DISYUNCIÓN + DOBLE NEGACIÓN + DE MORGAN 7
9. ¬R -> Q, CONTRAPOSITIVA, DOBLE NEGACIÓN, 2
10. Q v (¬P y Q), DILEMA CONSTRUCTIVO 4 7 9
11. Q, ABSORCIÓN 10
12. ¬¬ Q, DOBLE NEGACIÓN DE Q
13. ¬P, SILOGISMO DISYUNTIVO 5 12
0 Respuestas a 'PROBLEMA BÁSICO DEL DILEMA CONSTRUCTIVO'
Publicar un comentario