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 Introd.Bicon.
BICONDICIONAD

YX bicondicional
OR

XY
XY XY Eliminacin del Elim.bicond.
bicondicional
XY YX
 XY Ley conmutativa Com.bcond.

YX
XY Ley transitiva Trans. Bicond.
YZ

XZ
Ejercicios 12