Reglas bsicas de implicacin

Eliminacin del Implicador EI, MP. Introduccin del Implicador II, TD.
AB A
A ...
B B
AB
Reglas bsicas de conjuncin
Eliminacin del Conjuntor EC, Simp. Introduccin del Conjuntor IC, Prod.
EC1 Simp1 EC2 Simp2
A
AB AB B
A B AB
Reglas bsicas de disyuncin
Eliminacin del Disyuntor ED, Cas. Introduccin del Disyuntor ID, Ad.
AB ID1 Ad1 ID2 Ad2
A
... A B
C AB AB
B
...
C
C
Reglas bsicas de negacin
Eliminacin del Negador EN, DN. Introduccin del Negador IN, Abs.
A A
A ...
B B
A
Reglas derivadas de IMPLICACIN
Sil Mut
Silogismo Mutacin de premisas
AB A (B C)
BC B (A C)
AC
Id Cpr
Identidad Carga de premisas
A A
A BA
Reglas derivadas de CONJUNCIN y DISYUNCIN
CC CD
Conmutativa de la conjuncin Conmutativa de la disyuncin
AB AB
BA BA
AC AD
Asociativa de la conjuncin Asociativa de la disyuncin
(A B) C (A B) C
A (B C) A (B C)
DC DD
Distributiva de la conjuncin Distributiva de la disyuncin
A (B C) A (B C)
(A B) (A C) (A B) (A C)
IdC IdD
Idempotencia de la conjuncin Idempotencia de la disyuncin
AA AA
A A
AbsC AbsD
Ley de Absorcin de la conjuncin Ley de Absorcin de la disyuncin
A (A B) A (A B)
A A
Reglas derivadas de NEGACIN
Cp MT
Contraposicin Modus Tollens
AB AB
B A B
A
IDN ECQ
Introduccin del doble negador Ex contradictione quodlibet
A A A
A B
PNC PTE
Principio de no contradiccin Principio de tercio excluso
(A A) A A

Reglas adicionales de CONJUNCIN y DISYUNCIN

Imp Exp
Ley de importacin Ley de exportacin
A (B C) ABC
ABC A (B C)
SD1 SD2
Silogismo disyuntivo 1 Silogismo disyuntivo 2
AB AB
B A
A B
Dil1 Dil2
Dilema 1 Dilema 2
AB A B
AC CA
BC CB
C C
Dil3 Dil4
Dilema 3 Dilema 4
AB A B
AC CA
BD DB
CD C D
Reglas de COIMPLICACIN
Eliminacin del Coimplicador ECO Introduccin del Coimplicador ICO
ECO1 ECO2 AB
AB AB BA
AB BA AB
Consecuencias inmediatas de la definicin del coimplicador
AB AB
A B
B A
Reflexividad Intercambio
AA A B, CA CB
Simetra Transitividad
AB AB
BA BC
AC
Reglas de interdefinicin de conectivas
DI1 DI2
Definicin de implicador Definicin de implicador
AB AB
(A B) A B
DfC1 DfD1
Definicin de conjuncin 1 Definicin de disyuncin 1
AB AB
(A B) A B
DfC2 DfD2
Definicin de conjuncin 2 Definicin de disyuncin 2
AB AB
(A B) (A B)
DM1 DM2
Leyes de DE MORGAN Leyes de DE MORGAN
(A B) (A B)
A B A B