!

DEDUCCIÓN NATURAL: TABLA DE LAS REGLAS DERIVADAS

!
d) Reglas derivadas de disyunción

!
a) Reglas derivadas de implicación
18. Conmutativa de la
disyunción (CD)
19. Asociativa de la
disyunción (AD)
20. Distributiva de la
disyunción (DD)
21. Idempotencia de la
disyunción (IdD)

A ∨ B! (A ∨ B) ∨ C! A ∨ (B ∧ C)! A ∨ A!
1. Silogismo Hipotético 2. Mutación de Premisas! 3. Identidad! 4. Carga de Premisas! =======! ============! =================! =======!
(SH) (Mut) (Id) (CPr) B∨A A ∨ (B ∨ C) (A ∨ B) ∧ (A ∨ C) A

A → B! A → (B → C)! A! A! 22. Absorción de la 23. Silogismo disyuntivo 24. Dilema constructivo 25. Dilema destructivo!
B → C! _____________! ___! ______! disyunción (AbsD) (SD) (DilC) (DilD)
_________! B → (A → C) A B→A
A→C A ∨ (A ∧ B)! A∨B A ∨ B! A∨B A ∨ B! ¬A ∨ ¬ B ¬A ∨ ¬ B!

! ============!

!!
A!
¬B
______
¬A!
_______!
A→C
B→C
A → C!
B → D!
C→A
C→B
C → A!
D → B!
b) Reglas derivadas de negación
!
A

(SD1)
B!

(SD2)
_______
C
(DilC1)
_______!
C ∨ D!
(DilC2)
_________
¬C
(DilD1)
_______!
¬C ∨¬D!
(DilD2)
5. Contraposición 1! 6. Modus Tollens! 7. Introducción de la 8. Principio de no
(Cp1) (MT) doble negación (IDN) contradicción (PNC) !
e) Reglas derivadas de coimplicación
A→B A → ¬B! A → B! A! ¬ (A ∧ ¬A)
_________ ________! ¬B! _____!
¬B → ¬A B → ¬A! _______! ¬¬A 26. Introducción del 27. Eliminación del 28. Reemplazo o Addenda. Otras

!
(Cp1)

¬A → B
(Cp2)#

¬A → ¬B!
¬A coimplicador (ICO)

A → B!
coimplicador (ECO)

A↔B
intercambio (R)

A ↔ B! A ↔ B, CA
propiedades operativas.

• Reflexividad !
_________ ________! B → A! ______ ______! ___________! (Refl CO):!
¬B → A
(Cp3)
B → A!
(Cp4)
_______!
A ↔ B!
!!
A→B

!!
(ECO1)
B → A! CB!
(ECO2)# ! A ↔ A!

• Simetría !
9. Principio del tercio 10. Ex contradictione (Sim CO):!
excluso (PTE) quodlibet (ECQ) !! A↔B A ↔ B! A ↔ B!

A ∨ ¬A A ∧ ¬A!
_______!
!! A
_______
B
B!
_______!
A !
_______!
B ↔ A!

B (ECO3) (ECO4) • Transitividad !

!
c) Reglas derivadas de conjunción
(Trans CO):!
A ↔ B!
B ↔ C!
_______!
A↔C
11. Conmutativa de la 12. Asociativa de la 13. Distributiva de la 14. Idempotencia de la
conjunción (CC) conjunción (AC) conjunción (DC) conjunción (IdC) !
f) Reglas de interdefinición
A ∧ B! (A ∧ B) ∧ C! A ∧ (B ∨ C)! A ∧ A!
=======! =============! ==================! =======!
B∧A A ∧ (B ∧ C) (A ∧ B) ∨ (A ∧ C) A 29. Definiciones del 30. Definiciones del 31. Definiciones del 32. Leyes de Morgan
implicador (DfI) conjuntor (DfC) disyuntor (DfD) (DM)
15. Absorción de la 16. Importación ! 17. Exportación!
conjunción (AbsC) (Imp) (Exp) A → B! A ∧ B! A ∨ B! ¬(A ∧ B)!
==========! ===========! =========! ==========!
A ∧ (A ∨ B)! A → (B → C)! A ∧ B → C!
¬(A ∧ ¬B)! ¬(A → ¬B)! ¬A → B! ¬A ∨ ¬B!
============! _____________! ____________!
A A∧B→C A → (B → C)
!
(DfI1)#

A → B!
!
(DfC1)#

A ∧ B!
!
(DfD1)#

A ∨ B!
!
(DM1)#

¬(A ∨ B)!
! ==========! ===========! ===========! ===========!
! ¬A ∨ B! ¬(¬A ∨ ¬B)! ¬(¬A ∧ ¬B)! ¬A ∧ ¬B!
! (DfI2) (DfC2) (DfD2) (DM2)