Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Procedimiento:
1. Se toma primeramente su antecedente y se introduce como una nueva premisa (PA: premisa
adicional).
2. Se efectúan las derivaciones hasta hallar el consecuente de la conclusión.
3. Se une implicativamente la premisa adicional con el ultimo paso logrado volviendo la demostración
hacia la izquierda, a la posición original.
4. Ejemplo: Sea la forma inferencial siguiente:
5. s r
6. s p
7. p q
8. r t / ∴ q t
9. Introducimos la premisa adicional:
10. q (antecedente de la conclusión)
11. Efectuamos las derivaciones:
12. p MT 3,5
13. s SD 2,6
14. r MP 1,7
15. t MP 4,8
16. Se unen implicativamente la premisa adicional con el ultimo paso logrado:
17. q t PC 5,9
Procedimiento.
1. Se niega la conclusión y se introduce como una nueva premisa (premisa adicional).
2. Se efectúan las derivaciones hasta encontrar una contradicción.
3. Se une en forma condicional o implicativa la premisa adicional con la contradicción hallada, a través
de la regla de la prueba condicional (PC), volviendo la demostración a la posición original.
4. Se establece la conclusión deseada como una inferencia lógicamente deducida de las premisas
originales, aplicando la regla de la prueba por la reducción al absurdo (PRA):
5. [p (q q)] p
6. Ejemplo: Sea la forma inferencial siguiente:
7. (p q)
8. r q
9. p r / ∴ r
10. Se introduce la premisa adicional:
11. r (premisa adicional = negación de la conclusión)
12. Efectuamos las derivaciones:
13. p MT 3,4
14. q MP 2,4
15. p q De Morgan 1
16. p SD 7,6
17. p p A 5,8 (contradicción)
18. Se aplica la regla de la PC:
19. r (p p) PC 4,9
20. Se aplica la regla de la PRA:
21. r PRA 10