Las ocho reglas elementales son

1. Regla de la 7. Regla de la
Introduccin del Introduccin de la A B A B
Conjuntor o Producto Negacin (IN)
(Prod) A B A B
A REGLAS DERIVADAS REGLAS DERIVADAS
A
B DE LA DISYUNCIN DE LA NEGACIN
1. Regla de
A B B B
1. Propiedad introduccin de la
A conmutativa de la doble negacin (IDN)
disyuncin (CD)
2. Regla de la A
Eliminacin del 8. Regla de la A B A
Conjuntor o Eliminacin de la
Simplificacin (Simpl) negacin o doble B A

EC1 EC2 negacin (DN) 2. Ex contradictione

A 2. Propiedad asociativa quodlibet (EQL)
A B A B de la disyuncin
A (AD)
A B A A
B
3. Regla de la
OTRAS REGLAS DE
A B C
Introduccin del
LA LGICA A B C 3. Contraposicin (Cp)
disyuntor o Adicin
(Ad) AB
REGLAS DERIVADAS 3. Propiedad
Ad1 Ad2 DE LA CONJUNCIN distributiva de la B A
disyuncin (DD)
A

B
a) Propiedad
A B conmutativa de la A B C 4. Modus Tollens (MT)
conjuncin (CC) A B A C
4. Regla de la
A B AB
Eliminacin del B
BA

A B
disyuntor (Cas) 4. Idempotencia de la
disyuncin (IdD) A

b) Propiedad
A B
A

C

C
B
asociativa de la A A 5. Principio de no
conjuncin (AC) contradiccin (PNC)
C

A
A A
A B C
5. Absorcin de la
A B C
disyuncin (AbsD) 6. Principio de Tertio
exclusio (PTE)
c) Propiedad A A B
distributiva de la A A
conjuncin (DC) A
6. Absorcin de 7. Leyes de Morgan
A B C disyuncin (AbsD) (DM1 y DM2)
5. Regla de A B A C
Introduccin del A B A B A A B DM1 DM2
Implicador (II) d) Idempotencia de la
A B A A B
A B
conjuncin (IdC)
B A
A
A B
A B

B
A A
A B
A 7. Absorcin de la
disyuncin o Dilema REGLAS DERIVADAS
(Dil) DE LA IMPLICACIN
e) Absorcin de la
A B A B A B A B
conjuncin (AbsC) 1. Silogismo hipottico
AC C A AC C A
A A B BC C B BD
(Sil)
DB
6. Regla de la
A AB
Eliminacin del C C CD C D
Implicador o Modus BC
Ponens (MP) f) Definicin de la AC
conjuncin (DfC1 y 8. Definicin de
DfC2) disyuncin (DfD)
A B
A 2. Mutacin de
B
A B A B premisas (Mut)
DfC1 DfC
2
A B A B
 A B C
B A C 4. Verdad de la
conjuncin (VC)
3. Carga de premisas A B
(Cpr) A
B
A
BA
5. Falsedad de la
4. Definicin del conjuncin (FC)
Implicador (DI1 y
DI2) A B
DI1 DI2 A B
A B A 6. B
Verdad de la
A B A disyuncin
B (VD)

A B
REGLAS DERIVADAS
DE COIMPLICACIN A B
1. Introduccin del 7. Falsedad de la
coimplicador (ICO) disyuncin (FD)
AB
A B
B A
A
AB
B

2. Eliminacin del
coimplicador (ECO1 OTRAS REGLAS
y ECO2)
1. Reduccin al
absurdo (Abs)
ECO1 ECO2
A
A B A B

A B BA
B B
A
REGLAS
SEMNTICAS

1. Regla de doble
negacin (DN)

A
A

2. Verdad de la
implicacin (VI)

AB
A B
3. Falsedad de la
implicacin (FI)
A B
A
B