Tabla de Reglas Derivadas de la Lógica de Enunciados

Reglas derivadas de la implicación

Silogismo Hipotético (SH) Mutación (Mut) Identidad (Id) Carga de Premisas (Cpr)
A→B A → (B → C) A A
B→C B → (A → C) A B→A
A→C

Reglas derivadas de la negación

Contraposición 1 (Cp1) Contraposición 2 (Cp2) Contraposición 3 (Cp3) Contraposición 4 (Cp4)

A→B A → ¬B ¬A → B ¬A → ¬B
¬B → ¬A B → ¬A ¬B → A B→A
Modus Tollens (MT) Introducción de la doble negación Principio de no contradicción Principio de Tercio Excluso (PTE)
A→B (IDN) (PNC) A ∨ ¬A
¬B A ¬(A ∧ ¬A)
¬A ¬¬A

Ex Contradictione Quodlibet (ECQ)

A ∧ ¬A
B

Reglas derivadas de la conjunción

Propiedad Conmutativa (CC) Propiedad Asociativa (AC) Propiedad distributiva (DC) Idempotencia (IdC)
A∧B (A ∧ B) ∧ C A ∧ (B ∨ C) A∧A
B∧A A ∧ (B ∧ C) (A ∧ B) ∨ (A ∧ C) A
Importación (Imp) Exportación (Exp) Absorción (AbsC)
A → (B → C) (A ∧ B) → C A ∧ (A ∨ B)
(A ∧ B) → C A → (B → C) A

Reglas derivadas de la disyunción

Propiedad Conmutativa (CD) Propiedad Asociativa (AD) Propiedad Distributiva (DD) Idempotencia (IdD)
A∨B (A ∨ B) ∨ C A ∨ (B ∧ C) A∨A
B∨A A ∨ (B ∨ C) (A ∨ B) ∧ (A ∨ C) A

Absorción (AbsD) Silogismo Disyuntivo 1 (SD1) Silogismo Disyuntivo 2 (SD2)

A ∨ (A ∧ B) A∨B A∨B
A ¬B ¬A
A B
Dilema Constructivo 1 (DilC1) Dilema Constructivo 2 (DilC2) Dilema Destructivo 1 (DilD1) Dilema Destructivo 2 (DilD2)
A∨B A∨B ¬A ∨¬B ¬A ∨ ¬B
A→C A→C C→A C→A
B→C B→D C→B D→B
C A∨D ¬C ¬C ∨ ¬D

Reglas de interdefinición

Definición Implicador 1 (Df →1) Definición Implicador 2 (Df →2) Definición Conjunción 1 (Df ∧1) Definición Conjunción 2 (Df ∧2)
A→B A→B A∧B A∧B
¬(A ∧ ¬B) ¬A ∨ B ¬(A → ¬B) ¬(¬A ∨ ¬B)
Definición Disyuntor 1 (Df ∨1) Definición Disyuntor 2 (Df ∨2) Ley de Morgan 1 (DM1) Ley de Morgan 2 (DM2)
A∨B A∨B ¬(A ∧ B) ¬(A ∨ B)
¬A → B ¬(¬A ∧ ¬B) ¬A ∨ ¬B ¬A ∧ ¬B

Reglas derivadas de coimplicación

Introducción de ↔ (ICO) Eliminación de ↔ 1 (ECO1) Eliminación de ↔ 2 (ECO2) Eliminación de ↔ 3 (ECO3)

A→B A↔B A↔B A↔B
B→A A→B B→A A
A↔B B
Eliminación de ↔ 4 (ECO4) Reemplazo (R)
A↔B A ↔ B, CA
B CB
A