Reglas primitivas del calculo de enunciados
Regla de introduccin de la negacin (RI) Regla de eliminacin de la negacin(RE)
IN EN
X X
Y ^ Y X
X
Regla de introduccin de la disyuncin (RI V) Regla de eliminacin de la disyuncin (RE V) o Prueba
O Adicin (Ad1,2) por Casos (Cas)
X Y XVY
X
XVY YVX Z
Y
Z
Z
Regla de introduccin de la conjuncin (RI ^) o Regla de eliminacin de la conjuncin (RE ^) o
Producto (Prod 1,2) Simplificacin (Simp 1, 2)
X X
Y Y . X^Y Y^ X
X^Y Y^X X Y
Regla de introduccin del condicional (RI ) Regla de eliminacin del condicional (RE )
MODUS PONENS (MP
X XY
Y X .
Y
XY
PRINCIPIOS O AXIOMAS NO CONTRADICCION TERCIO EXCLUSO
IDENTIDAD (PID) (PNC) (PTE)
A ^A (A ^A) A vA
PROPIEDADES Conm^ CC ConmV CD
CONMUTATIVA X^Y XvY
Y^X YvX
ASOCIATIVA AC AD
(X^Y) ^Z (XvY) v Z
X^ (Y ^Z) Xv (Y v Z)
ABSORCION AbsC AbsD
X^ (Xv Y) Xv (X^ Y)
X X
DISTRIBUTIVA X ^ (Y V Z) X V (Y ^ Z) .
. (X V Y) ^ (X V Z)
(X ^ Y) V (X ^ Z)
REFLEXIVIDAD SIMETRIA TRANSITIVIDAD
X Y X Y
X X Y X Y Z
X Z
Reglas derivadas
Reglas Demostraciones
Regla de transitividad del condicional (RTr ) 1 XY P
2 YZ P
XY 3 X
YZ 4 Y RE 1, 3
X Z 5 Z RE 2, 4
6 X Z RI 3-5
Regla del Modus Tollens (MT) 1 XY P
2 YP
XY 3 X
Y 4 Y RE 1, 3
X 5 Y ^ Y RI ^ 2, 4
6 X RI 3-5
Regla de importacin (RImp) 1 X (Y Z) P
2 X ^Y
X (Y Z) 3 X RE^ 2
(X ^ Y) Z 4 Y Z RE 1, 3
5 Y RE^ 2
6 Z RE 4, 5
7 (X ^ Y) Z RI 2, 6
Regla de exportacin (RExp) 1 (X ^Y) Z P
2 X
(X ^ Y) Z 3 Y
X (Y Z) 4 X ^Y RI^ 2, 3
5 Z RE 1, 4
6 YZ RI 3, 5
7 X (Y Z) RI 2-6
Regla de contraposicin O tb Cp 1 XY P
del condicional 2 Y
(RContr) 3 X MT 1, 2
4 Y X RI 2-4
XY X Y
Y X Y X
Regla de reflexividad del condicional (RRfl) 1 X P
X 2 X
X 3 X ^ X RI ^ 1, 2
4 X RI 2-3
Regla de conmutatividad de la conjuncin (RConm ^) 1 X^Y P
2 X RE ^ 1
X^Y 3 Y RE ^ 1
Y^X 4 Y^X RI ^ 2, 3
Regla de idempotencia de la conjuncin (RIdem ^) 1 X^X P
2 X RE ^ 1
X^X
X
Regla de conmutatividad de la disyuncin (RConm V) 1 XVY P
2 X
XvY 3 YVX RI V 2
YvX 4 Y
5 YVX RI V 4
6 YVX RE V 1-5
Regla de idempotencia de la disyuncin (RIdem V) 1 XVX P
2 X
XVX 3 X RRfl 2
X 4 X
5 X RRfl 4
6 X RE V 1-5
Regla de idempotencia de la disyuncin (RIdem V) 1 XVX P
2 X
XVX 3 X RRfl 2
X 4 X
5 X RRfl 4
6 X RE V 1-5
Primera regla de inferencia alternativa (RIA 1) o 1 XVY P
Silogismo Disyuntivo (SD1) 2 X P
3 X Y Df V 1
XVY 4 Y RE 2, 3
X .
Y
Segunda regla de inferencia alternativa (RIA2) 1 XVY P
o Silogismo Disyuntivo (SD2) 2 Y P
3 X
4 X Y DF V 1
XVY 5 Y RE 3, 4
Y . 6 Y ^ Y RI ^2, 5
X
7 X RI 3-6
Primera regla del dilema constructivo (RDC1)/DIL1 1 XVY P
2 XZ P
XVY 3 YZ P
XZ 4 X
YZ 5 Z RE 2, 4
Z 6 Y
7 Z RE 3, 6
8 Z RE V 1-7
Segunda regla del dilema constructivo (RDC2)/DIL3 1 XVY P
2 XZ P
XVY 3 YW P
XZ 4 X
YW 5 Z RE 2, 4
ZVW 6 ZVW RI V 5
7 Y
8 W RE 3, 7
9 ZVW RI V 8
10 Z V W RE V 1, 9
Primera regla del dilema destructivo (RDD1)/DIL2 1 X V Y P
2 ZX P
X V Y 3 ZY P
ZX 4 X
ZY 5 Z MT 2, 4
Z 6 Y
7 Z MT 3, 6
8 Z RE V 1-7
Segunda regla del dilema destructivo (RDD2)DIL4 1 X V Y P
2 ZX P
X V Y 3 WY P
ZX 4 X
WY 5 Z MT 2, 4
Z V W 6 Z V W RI V 5
7 Y
8 W MT 3, 7
9 Z V W RI V 8
10 Z V W RE V 1-9
Regla de distribucin de la conjuncin por la 1 X ^ (Y V Z) P
disyuncin (RDstr ^ por V) DC 2 X RE ^ 1
3 YVZ RE ^ 1
X ^ (Y V Z) . 4 Y
(X ^ Y) V (X ^ Z) 5 X^Y RI ^ 2, 4
6 (X ^ Y) V (X ^ Z) RI V 5
7 Z
8 X^Z RI ^ 2, 7
9 (X ^ Y) V (X ^ Z) RI V 8
10 (X ^ Y) V (X ^ Z) RE V 1-9
Regla de distribucin de la disyuncin por la 1 X V (Y ^ Z) P
conjuncin (RDstr V por^)DD 2 X
3 XVY RI V 2
X V (Y ^ Z) . 4 XVZ RI V 2
(X V Y) ^ (X V Z) 5 (X V Y) ^ (X V Z) RI ^ 3, 4
6 Y^Z
7 Y RE ^ 6
8 Z RE ^ 6
9 XVY RI V 7
10 XVZ RI V 8
11 (X V Y) ^ (X V Z) RI ^ 9, 10
12 (X V Y) ^ (X V Z) RE V 1, 11
Regla de introduccin del Bicondicional (RI ) ICO 1 XY P
2 YX P
XY 3 (X Y) ^ (Y X) RI ^ 1, 2
YX 4 XY Df 3
XY
Regla de debilitacin del Bicondicional 1 X Y P
(RD )ECO1,2 2 (X Y) ^ (Y X) Df 1
3 XY RE ^ 2 o bien
X Y X Y 3 YX RE ^ 2
XY YX
1 regla de eliminacin del Bicondicional (RE 1) 1 X Y P
X Y 2 X P
X . 3 (X Y) ^ (Y X) Df 1
Y 4 XY RE ^ 3
5 Y RE 2, 4
2 regla de eliminacin del Bicondicional (RE 2) 1 X Y P
X Y 2 Y P
Y . 3 (X Y) ^ (Y X) Df 1
X 4 XY RE ^ 3
5 X MT 2, 4
3 regla de eliminacin del Bicondicional (RE 3) 1 X Y P
X Y 2 Y P
Y _____ . 3 (X Y) ^ (Y X) Df 1
X 4 YX RE ^ 3
5 X RE 2, 4
4 regla de eliminacin del Bicondicional (RE 4) 1 X Y P
X Y 2 X P
X . 3 (X Y) ^ (Y X) Df 1
Y 4 YX RE ^ 3
5 Y MT 2, 4
Regla de transitividad del Bicondicional (RTr ) 1 X Y P
2 Y Z P
X Y 3 (X Y) ^ (Y Z) Df 1
Y Z 4 XY RE ^ 3
X Z 5 YX RE ^ 3
6 (Y Z) ^ (Z Y) Df 2
7 YZ RE ^ 6
8 ZY RE ^ 6
9 XZ Rtr 4, 7
10 ZX Rtr 8, 5
11 XZ Rtr 9, 10
Regla de introduccin de la doble negacin (RI) 1 X P
2 X
X 3 X ^ X RI ^ 1, 2
X 4 X RI 2, 3
Regla ex contradictione quodlibet (Ecq) 1 X ^ X P
2 Y
X ^ X 3 X RE ^ 1
Y 4 Y X RI 2, 3
5 XY RContr 4
6 X RE ^ 1
7 Y RE 5, 6
LEYES DE INTERDEFINICION
DfC1 DfD1
(X^Y) (X^Y)
XY XY
DfC2 (X^Y) DfD2 (XvY)
(XvY) (X^ Y)
Df 1 (XY) Df 2 (XY)
(X^ Y) X v Y
LEYES DE MORGAN
DM1 (X^Y) DM2 (X v Y)
(XvY) X ^ Y
CUADRO SINPTICO DE REGLAS DE INFERENCIA
Regla Nombre SIGLAS
Introduccin o
X eliminacin de la doble DN
X negacin
(X Y) Ley distributiva del
NEGADOR
negador con respecto al De Morgan
disyuntor o LEY DE DE
X Y
MORGAN 1
(X Y) Ley distributiva del De Morgan
negador con respecto al
conjuntor o LEY de DE
X Y MORGAN II
X Introduccin del IC
Y conjuntor
XY
XY XY Eliminacin del conjuntor E.C.
CONJUNTOR
X Y
XY Ley conmutativa del Conm.C.
conjuntor
YX
XY Definicin del conjuntor Def. C.
con el negador y
(X Y) disyuntor
XY Definicin del conjuntor Def. C.
con el negador y el
(XY) condicional
X Introduccin del I.D.
disyuntor
XY
XY Ley conmutativa Conm.D.
YX
XX Idempotencia Idem.
DISYUNTOR
X
XY XY Silogismo Disyuntivo S.D.
X Y
X
Y
XY Definicin del disyuntor Def. disy.
por el negador y el
conjuntor
(X Y)
XY Definicin del disyuntor Def. disy.
por el negador y el
condicional
X Y
XY Modus ponens mpp
X
Y
XY Modus tollens mtt
CONDICIONADOR
X
XY Definicin del Def. cond.
condicional con el
negador y disyuntor
X Y
XY Ley transitiva Transt.
YZ
XZ
XY Introduccin del [Link].
BICONDICIONAD
YX bicondicional
OR
XY
XY XY Eliminacin del [Link].
bicondicional
XY YX
XY Ley conmutativa [Link].
YX
XY Ley transitiva Trans. Bicond.
YZ
XZ
Ejercicios 12
