UNIVERSIDAD ALEJANDRO DE HUMBOLDT

CURSO INTRODUCTORIO
Asignatura: RAZONAMIENTO LGICO
Autor: Jos Manuel Daz Fumero

GUIA No 2
Leyes de Lgica y reglas de inferencia

Versin 1.03 OCT. 2010

CONTENIDO
GUIA No 2.............................................................................................................................1
Leyes de Lgica y reglas de inferencia ...............................................................................1
1.Leyes de Lgica o Leyes de lgebra de proposiciones;...................................................3
2.Simplificacin de Frmulas...............................................................................................4
3. Reglas de Inferencias........................................................................................................5

1.Leyes de Lgica o Leyes de lgebra de proposiciones;

Las Proposiciones verifican ciertas propiedades conocidas como Leyes del Algebra de
Proposiciones. Estas propiedades son las siguientes

1.- Leyes de Idempotencia: a. (pp)p

b. (pp)p
2.- Leyes conmutativa:

a. pqqp
b. pqqp

3.- Leyes asociativa: a. ((pq)r)(p(qr))

b. ((pq)r)(p(qr))
4.- Leyes de distributiva: a. (p q)rp(qr)
b. (pq)rp(qr)
5.- Leyes de Identidad: pFp
pFF

pVV
pVp

6.- Leyes de Complementacin: ppV

ppF
7.- Leyes de Morgan (pq) pq
(pq) pq
8.- Doble negacin: ~ ~ pp
9.- Leyes de Implicacin

pq(~q~p)
pq~pq
p(pq)pq

FV
VF

4
Estas leyes se pueden verificar fcilmente mediante tablas de la verdad. Es de hacer notar
que estas leyes son validas, tanto para proposiciones atmicas como para las moleculares.
Las letras V y F indicadas anteriormente en las leyes, indican variables que se restringen a
los valores de verdadero y falso, respectivamente

2.Simplificacin de Frmulas
Las leyes anteriores permiten simplificar frmulas complejas, hasta llevarlas a otras ms
sencillas y equivalentes a la original, es decir, con menos variables proposicionales y/o
conectivos; como se puede ver en los siguientes ejemplos:
Ejemplo 1:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
(pq)p(pp)(qp)

Ley Distributiva

F(qp)

Ley de Complementacin

(qp)

Ley de Identidad

Ejemplo 2:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
(pq) (qp)

(pq) (qp)

Ley de Morgan

(pq) (pq)

Ley de Conmutativa

p(qq)

Ley Distributiva

pF

Ley de Complementacin

Ley de Identidad

Ejemplo 3:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
p ( p q)

(pF) (pq)

Ley de Identidad

p(Fq)

Ley de Distributiva

pF

Ley de Identidad

Ley de Identidad

5
Ejemplo 4:
Aplicando las leyes de algebra de proposiciones, simplificar las siguiente expresin:
p ( p q)

(pV) (pq)

Ley de Identidad

p(Vq)

Ley de Distributiva

pV

Ley de Identidad

Ley de Identidad

3. Reglas de Inferencias
Si actuando segn unas reglas dadas, sobre unas frmulas tambin dadas, obtenemos una
nueva formula, diremos que esta se ha inferido o deducido de aqullas.
A las reglas dadas se les llama regla de inferencia, a la formula de partida premisas y a
las frmulas de llegadas conclusin.
Al proceso mediante el cual la conclusin se sigue de las premisas se llama prueba,
deduccin o demostracin.
A las inferencias que siguen las reglas establecidas se les llama correctas, e incorrectas a
las que no la siguen.
Regla de inferencia. Son las que de cada conjunto suficiente de premisas, P1,P2,....., nos
permite deducir una conclusin C. Son varios los sistemas de reglas que resuelven este
problema; uno de ellos es el que esta integrado por las reglas siguientes:
1a. Regla de separacin. MODUS PONENDO PONENS.Si tomamos como premisa un
condicional y su antecedente, el consecuente puede ser inferido como conclusin.
Si las premisas P1 y P2 las ponemos una encima de otra, debajo de ellas una lnea
horizontal y debajo de esta la conclusin C, la primera regla de inferencia puede ser escrita
en la forma simblica siguiente:

6
P1: pq
P2: p
C: q
Ejemplo:
P1: Si gano la lotera, entonces compro apartamento
P2: Gano la Loteria
C: Compro Apartamento
2a. MODUS TOLLENDO TOLENS. Dadas como premisas una proposicin condicional
y la negacin de su consecuente. Se puede concluir la negacin de su antecedente
Procediendo como el caso anterior, la segunda regla puede ser escrita en la forma
simblica siguiente:
P1: pq
P2: q
C: p
Ejemplo:
P1: Si hoy es martes entonces, maana es
miercoles
P2: Maana no es miercoles
C: Hoy no es martes
3a. Regla de Conjuncin. Dada como premisas dos proposiciones, se puede concluirla
conjuncin de ambas.
P1: p
P2: q
C: pq
Ejemplo:

7
P1: Juan es estudioso
P2: Ana es floja
C: Juan es estudioso y Ana es floja

4a. Regla de Simplificacin: dada como premisa la conjuncin de dos proposiciones, se

puede concluir cualquiera de ellas. Esta cuarta regla puede ser escrita de la forma simblica
siguiente:
P1: pq

P1: pq

C: p

C: q

5ta. Regla MODUS TOLLENDO PONENS: Dadas como premisas la disyuncin de dos
proposiciones y la negacin de una de ellas, se puede concluir la otra proposicin
P1: pq

P1: pq

P2: q

P2: p

C: p

C: q

6ta. Ley de adicin: Dada como premisa una proposicin, se puede concluir las
disyuncin de ella con cualquier otra proposicin
P1: p
C: pq

donde q es una proposicin cualquiera

7ma. Ley de Silogismo hipottico: Dadas como premisas dos condicionales pq y qr,
se puede concluir el condicional pr
P1: pq

P1: qr

P2: qr

P2: pq

C: pr

C: pr

8
8ma. Ley de Silogismo disyuntivo: Dadas como premisas dos condicionales ps y qt,
y la disyuncin de sus antecedentes se puede concluir las disyuncin de sus consecuente
P1: ps
P2: qt
P3: pq
C: svt