Tabla de Reglas Derivadas de la Lgica de Enunciados

Reglas derivadas de la implicacin

Silogismo Hipottico (SH)
AB
BC
AC

Mutacin (Mut)
A (B C)
B (A C)

Identidad (Id)
A
A

Carga de Premisas (Cpr)

A
BA

Reglas derivadas de la negacin

Contraposicin 1 (Cp1)
AB
B A

Contraposicin 2 (Cp2)
A B
B A

Contraposicin 3 (Cp3)
A B
B A

Contraposicin 4 (Cp4)
A B
BA

Modus Tollens (MT)

AB
B
A

Introduccin de la doble negacin

(IDN)
A
A

Principio de no contradiccin
(PNC)
(A A)

Principio de Tercio Excluso (PTE)

A A

Ex Contradictione Quodlibet (ECQ)

A A
B

Reglas derivadas de la conjuncin

Propiedad Conmutativa (CC)
AB
BA

Propiedad Asociativa (AC)

(A B) C
A (B C)

Importacin (Imp)
A (B C)
(A B) C

Exportacin (Exp)
(A B) C
A (B C)

Propiedad distributiva (DC)

A (B C)
(A B) (A C)

Idempotencia (IdC)
AA
A

Absorcin (AbsC)
A (A B)
A

Reglas derivadas de la disyuncin

Propiedad Conmutativa (CD)
AB
BA

Propiedad Asociativa (AD)

(A B) C
A (B C)

Absorcin (AbsD)
A (A B)
A

Silogismo Disyuntivo 1 (SD1)

AB
B
A

Dilema Constructivo 1 (DilC1)

AB
AC
BC
C

Dilema Constructivo 2 (DilC2)

AB
AC
BD
AD

Propiedad Distributiva (DD)

A (B C)
(A B) (A C)

Idempotencia (IdD)
AA
A

Silogismo Disyuntivo 2 (SD2)

AB
A
B
Dilema Destructivo 1 (DilD1)
A B
CA
CB
C

Dilema Destructivo 2 (DilD2)

A B
CA
DB
C D

Reglas de interdefinicin
Definicin Implicador 1 (Df 1)
AB
(A B)

Definicin Implicador 2 (Df 2)

AB
A B

Definicin Conjuncin 1 (Df 1)

AB
(A B)

Definicin Conjuncin 2 (Df 2)

AB
(A B)

Definicin Disyuntor 1 (Df 1)

AB
A B

Definicin Disyuntor 2 (Df 2)

AB
(A B)

Ley de Morgan 1 (DM1)

(A B)
A B

Ley de Morgan 2 (DM2)

(A B)
A B

Reglas derivadas de coimplicacin

Introduccin de (ICO)
AB
BA
AB
Eliminacin de 4 (ECO4)
AB
B
A

Eliminacin de 1 (ECO1)
AB
AB

Eliminacin de 2 (ECO2)
AB
BA
Reemplazo (R)
A B, CA
CB

Eliminacin de 3 (ECO3)
AB
A
B