Reglas básicas de implicación

Eliminación del Implicador EI, MP. Introducción del Implicador II, TD.
A→B A
A Ø...
B B
A→B
Reglas básicas de conjunción
Eliminación del Conjuntor EC, Simp. Introducción del Conjuntor IC, Prod.
EC1 ó Simp1 EC2 ó Simp2
A
A∧B A∧B B
A B A∧B
Reglas básicas de disyunción
Eliminación del Disyuntor ED, Cas. Introducción del Disyuntor ID, Ad.
A∨B ID1 ó Ad1 ID2 ó Ad2
A
Ø... A B
C A∨B A∨B
B
Ø...
C
C
Reglas básicas de negación
Eliminación del Negador EN, DN. Introducción del Negador IN, Abs.
¬¬A A
A Ø...
B ∧ ¬B
¬A
Reglas derivadas de IMPLICACIÓN
Sil Mut
Silogismo Mutación de premisas
A→B A → (B → C)
B→C B → (A → C)
A→C
Id Cpr
Identidad Carga de premisas
A A
A B→A
Reglas derivadas de CONJUNCIÓN y DISYUNCIÓN
CC CD
Conmutativa de la conjunción Conmutativa de la disyunción
A∧B A∨B
B∧A B∨A
AC AD
Asociativa de la conjunción Asociativa de la disyunción
(A ∧ B) ∧ C (A ∨ B) ∨ C
A ∧ (B ∧ C) A ∨ (B ∨ C)
DC DD
Distributiva de la conjunción Distributiva de la disyunción
A ∧ (B ∨ C) A ∨ (B ∧ C)
(A ∧ B) ∨ (A ∧ C) (A ∨ B) ∧ (A ∨ C)
IdC IdD
Idempotencia de la conjunción Idempotencia de la disyunción
A∧A A∨A
A A
AbsC AbsD
Ley de Absorción de la conjunción Ley de Absorción de la disyunción
A ∧ (A ∨ B) A ∨ (A ∧ B)
A A
Reglas derivadas de NEGACIÓN
Cp MT
Contraposición Modus Tollens
A→B A→B
¬B → ¬A ¬B
¬A
IDN ECQ
Introducción del doble negador Ex contradictione quodlibet
A A ∧ ¬A
¬¬A B
PNC PTE
Principio de no contradicción Principio de tercio excluso
¬(A ∧ ¬A) A ∨ ¬A

Reglas adicionales de CONJUNCIÓN y DISYUNCIÓN

Imp Exp
Ley de importación Ley de exportación
A → (B →C) A∧B→C
A∧B→C A → (B →C)
SD1 SD2
Silogismo disyuntivo 1 Silogismo disyuntivo 2
A∨B A∨B
¬B ¬A
A B
Dil1 Dil2
Dilema 1 Dilema 2
A∨B ¬A ∨ ¬B
A→C C→A
B→C C→B
C ¬C
Dil3 Dil4
Dilema 3 Dilema 4
A∨B ¬A ∨ ¬B
A→C C→A
B→D D→B
C∨D ¬C ∨ ¬D
Reglas de COIMPLICACIÓN
Eliminación del Coimplicador ECO Introducción del Coimplicador ICO
ECO1 ECO2 A→B
A↔B A↔B B→A
A→B B→A A↔B
Consecuencias inmediatas de la definición del coimplicador
A↔B A↔B
A B
B A
Reflexividad Intercambio
A↔A A ↔ B, CA ├ CB
Simetría Transitividad
A↔B A↔B
B↔A B↔C
A↔C
Reglas de interdefinición de conectivas
DI1 DI2
Definición de implicador Definición de implicador
A→B A→B
¬(A ∧ ¬B) ¬A ∨ B
DfC1 DfD1
Definición de conjunción 1 Definición de disyunción 1
A∧B A∨B
¬(A → ¬B) ¬A → B
DfC2 DfD2
Definición de conjunción 2 Definición de disyunción 2
A∧B A∨B
¬(¬A ∨ ¬B) ¬(¬A ∧ ¬B)
DM1 DM2
Leyes de DE MORGAN Leyes de DE MORGAN
¬(A ∧ B) ¬(A ∨ B)
¬A ∨ ¬B ¬A ∧ ¬B