Reglas bsicas de implicacin

Eliminacin del Implicador EI, MP.

Introduccin del Implicador II, TD.

AB
A

A
...
B
AB

B
Reglas bsicas de conjuncin
Eliminacin del Conjuntor EC, Simp.
EC1 Simp1

Introduccin del Conjuntor IC, Prod.

EC2 Simp2

A
AB
A

AB
B

B
AB

Reglas bsicas de disyuncin

Eliminacin del Disyuntor ED, Cas.
AB
A
...
C
B
...
C

Introduccin del Disyuntor ID, Ad.

ID1 Ad1

ID2 Ad2

A
AB

B
AB

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
Mut
Mutacin de premisas

Sil
Silogismo
AB
BC
AC

Id
Identidad

A (B C)
B (A C)
Cpr
Carga de premisas

A
A

A
BA

Reglas derivadas de CONJUNCIN y DISYUNCIN

CD
Conmutativa de la disyuncin

CC
Conmutativa de la conjuncin
AB
BA

AC
Asociativa de la conjuncin

AD
Asociativa de la disyuncin

(A B) C
DC
Distributiva de la conjuncin

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

IdC
Idempotencia de la conjuncin

(A B) C
DD
Distributiva de la disyuncin

A (B C)

IdD
Idempotencia de la disyuncin

AA
A
AbsC
Ley de Absorcin de la conjuncin
A (A B)
A

AB
BA

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

AbsD
Ley de Absorcin de la disyuncin
A (A B)
A
Reglas derivadas de NEGACIN
MT
Modus Tollens

Cp
Contraposicin
AB
B A
IDN
Introduccin del doble negador

AB
B
A
ECQ
Ex contradictione quodlibet

A
A

A A
B

PNC
Principio de no contradiccin

PTE
Principio de tercio excluso
(A A)

Reglas adicionales de CONJUNCIN y DISYUNCIN

Exp
Ley de exportacin

Imp
Ley de importacin

SD1
Silogismo disyuntivo 1

A A

A (B C)
ABC

SD2
Silogismo disyuntivo 2

AB
B
A
Dil1
Dilema 1

AB
A
B
Dil2
Dilema 2

AB
AC
BC
C
Dil3
Dilema 3

Eliminacin del Coimplicador ECO

Reflexividad
Simetra

DI1
Definicin de implicador

DfC1
Definicin de conjuncin 1

DfC2
Definicin de conjuncin 2

DM1
Leyes de DE MORGAN

A B
CA
CB
C
Dil4
Dilema 4

AB
AC
BD
CD

ECO1
AB
AB

ABC
A (B C)

A B
CA
DB
C D

Reglas de COIMPLICACIN
Introduccin del Coimplicador ICO

ECO2
AB
AB
BA
BA
AB
Consecuencias inmediatas de la definicin del coimplicador
AB
AB
A
B
B
A
Intercambio
AA
A B, CA CB
Transitividad
AB
AB
BA
BC
AC
Reglas de interdefinicin de conectivas
DI2
Definicin de implicador
AB
AB
(A B)
AB
(A B)
AB
(A B)

DfD1
Definicin de disyuncin 1

DfD2
Definicin de disyuncin 2

DM2
Leyes de DE MORGAN

A B
AB
A B
AB
(A B)

(A B)

(A B)

A B

A B