Matemtica I

Para Postulantes a la U.N.P.R.G. 5 Ao Sec.

8. Leyes de absorcin: p v (p q) p
p (p v q) p
p v (p q) p v q
p (p v q) p q

LGICA PROPOSICIONAL (II Parte)

Aplicacin a los Circuitos Lgicos
Un Circuito Lgico, es un arreglo de interruptores
conocidos como compuertas lgicas, donde cada
compuerta lgica tiene su tabla de verdad.
Los circuitos lgicos ms comunes son:
p

q:

(Circuito en paralelo)

10. De la Identidad: p v V V ; p v F p
p V p; p F F

1.

Para simplificar un circuito lgica a su forma ms

simple, o a su forma equivalente, es necesario tener
en cuenta las leyes del lgebra Proposicional dados
a continuacin:

La proposicin equivalente ms simple del

siguiente circuito:

LEYES DEL LGEBRA PROPOSICIONAL

1. De Idempotencia: p v p p
p p p
1. Conmutativa:
pvq qvp
pq q p
p

3. Distributiva:

q p
q q p

a)

(p q) v (p r)
(p v q) (p v r)

q pvq
p q q p

5. De la Bicondicional:

pq

(p q) (q
p q (p q)

7. Leyes de De Morgan: (p q)
(p v q)
www.emanuel.edu.pe

~p

~p

~q

N
t

pvq
pq

b)

c) r

d)

: p

e)

: q

De las proposiciones:
Los leones son carnvoros
Todos los carnvoros son vertebrados
Qu conclusin podemos extraer?
En efecto, si aceptamos que ambas proposiciones
son verdaderas, no nos queda ms alternativa que
aceptar que:
Los leones son vertebrados.

4. De la Condicional: p

6. Doble Negacin: ( p)

~q

INFERENCIA LGICA

p (q r) (p q) r
p v (q v r) (p v q) v r
p (q v r)
p v (q r)

Es:

pq

2. Asociativa:

p v p V
p p F

EJERCICIOS

p V q:

(Circuito en serie)

9. Del Complemento:

p)

En base a dos proposiciones hemos elaborado una

tercera proposicin que se deriva de las dos
primeras.
Las dos primeras proposiciones se llaman
PREMISAS, la tercera proposicin se llama
CONCLUSIN.

Matemtica I

Para Postulantes a la U.N.P.R.G. 5 Ao Sec.

Las INFERENCIA LGICAS son conclusiones que se

pueden obtener despus de hacer un razonamiento.
Este razonamiento solamente es verdadero si se
cumplen las siguientes condiciones:
1.
2.

1.

Las premisas deben ser todas verdaderas.

Durante el proceso de deduccin, las premisas
deben relacionarse sujetas a las leyes de la
lgica.
Son ejemplos de inferencia lgica, las
siguientes:

Percy viajar a Tarapoto o se quedar en

Yurimaguas. Por lo tanto, si Percy viaja a
Tarapoto, no se quedar en Yurimaguas.
Simn es un profesional si y slo si es un
graduado universitario. Ocurre que Simn es un
mdico. Por lo tanto, Simn es mdico, entonces
es un graduado universitario.
Si todas las tierras son abonadas, entonces los
agricultores tendrn buenos resultados. Si los
agricultores tienen buenos resultados, entonces
aumentar el volumen de produccin. En
consecuencia, si todas las tierras son abonadas,
entonces aumentar el volumen de produccin.
En cada una de estas inferencias, el conjunto de
premisas se distingue de la conclusin por el uso de
ciertos trminos referenciales como por lo tanto,
luego, en consecuencia, etc.

El esquema es el siguiente:
p q
p
q

Cmo leer esta regla de inferencia?

Si p entonces q y ocurre p. Luego ocurre q
2.

p q
q
p

q
V
F
V
F

[(p q )
V
F
V
V

V
F
F
F

p] q
V V V
V V F
F V V
F V F

REGLAS DE INFERENCIA

www.emanuel.edu.pe

Es equivalente a:
[(p q) q] p

Silogismo Hipottico. (S.H). Si (p q) es

verdadero y (q r) es verdadero, entonces
(p r) es verdadero. Esta ley indica que la
condicional es transitiva.

El esquema es el siguiente:

Escribiendo la tabla en forma horizontal tenemos:

[(p q ) p] q ; hallando la tabla de verdad,
resulta:
p
V
V
F
F

Modus Tollens (MTT). Si se niega el

consecuente de una premisa condicional, se
concluye en la negacin del antecedente.

El esquema es el siguiente:

3.

Si un nmero termina en 5 entonces es mltiplo de5

3845 termina en 5
Por lo tanto: 3845 es mltiplo de 5:

Es equivalente a:
[(p q) p] q

por ejemplo:
Si llueve, hace fro. Pero hace fro. Luego hace
fro.
p: llueve
q: hace fro.

El resultado es una tautologa, por lo tanto, la

inferencia es vlida.
Ejemplo:

MODUS Ponendo Modens o MPP. Tambin

llamada simplemente MP o Modus Ponens,
nombre que se puede leer como Afirmando
Afirmando.
Si se afirma el antecedente de una premisa
condicional, se concluye en la afirmacin del
consecuente.

p q
q r

pr
4.

Es equivalente a:
[(p q) (q r)] (p r)

Silogismo Disyuntivo (S.D). Si negamos uno de

los miembros de una premisa disyuntiva, se
concluye en la afirmacin del otro miembro.

El esquema es el siguiente:
pvq
p

Es equivalente a:
[ (p v q) p ] q

Matemtica I

Para Postulantes a la U.N.P.R.G. 5 Ao Sec.

q
Tambin:
pvq
q

3.
Es equivalente a:
[ (p v q) q ] p

p
5.

Dilema Constructivo (D.C). De la disyuntiva de

los
antecedentes
de
dos
premisas
condicionales, se concluye la disyuntiva de los
consecuentes.
El esquema es el siguiente:
p q
r s
pvr

qvs
6.

[(p q) (r s] (p v r) (q v s)

Simplificacin. En una conjuntiva, se concluye

con cualquiera de las proposiciones.
pq
pq

p
7.

Es equivalente a:

Adicin. De una premisa, se concluye una

disyuntiva.
p

(pvq)

Ejercicios
1.

2.

Si gana Gloria o Hctor, entonces pierden tanto

Jorge como Kelly. Gloria gana. Entonces, se
puede deducir que:
a) Jorge y Kelly ganan.
b) Solamente Jorge gana.
c) Solamente Kelly pierde.
d) Jorge pierde.
e) Ni Jorge, ni Hctor ganan.
Si sigue lloviendo, el ro crecer. Si sigue
lloviendo y el ro crece, entonces el puente ser
arrasado por las aguas. Si la continuacin de la
lluvia hace que el puente sea arrasado por las
aguas, no ser suficiente un solo camino para
toda la ciudad. O bien un solo camino es
suficiente para toda la ciudad o bien los
ingenieros han cometido un error. Entonces:
a) El puente ser la nica solucin para cruzar
el ro.
b) Los ingenieros han cometido un error.
c) El ro no crecer, a menos que no llueva.

www.emanuel.edu.pe

d) El ro arras el puente.
e) N.A.

Matemtica I

www.emanuel.edu.pe

Para Postulantes a la U.N.P.R.G. 5 Ao Sec.