UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS

ESCUELA DE COMPUTACION

MATEMATICAS DISCRETAS I (6106)

Pr
actica: L
ogica Proposicional (Segunda parte)
Nota Preliminar: Para la realizacion de esta practica se requieren los siguientes conceptos: Equivalencia l
ogica, leyes de la logica, simplificacion de proposiciones, argumentos
validos, reglas de inferencia, demostraciones directas y por reduccion al absurdo. Metodo para conclusiones condicionales, argumentos invalidos, consistencia e incosistencia de
premisas.
1. Sean P y Q dos proposiciones tales que P Q. Indique cuales de las siguientes
proposiciones son verdaderas o falsas. Justifique su respuesta.
( ) P Q.
( ) P Q es una tautologa.
( ) La tabla de verdad de P es la misma tabla de la proposicion Q.
( ) P Q es una tautologa.
( ) Las tablas de verdad de P Q y Q P son iguales.
( ) Q P.
( ) Q P es una tautologa.
( ) (P Q) (P Q) es una contradiccion.
2. La siguiente tabla de verdad define dos conectores logicos
p
V
V
F
F

q
V
F
V
F

p>q
V
F
F
V

pfq
V
F
V
F

Teniendo es cuenta a estos nuevos conectores, verifique en cuales de los siguientes

casos P Q
a) P : p > q,

Q : (p q).

b) P : (p f p) f (p f q),
c) P : (p f q) > p,
d ) P : p > q,

Q:pq

Q:pq

Q:q>p

e) P : p > (q f r),

Q : (p > q) f (p > r)

f ) P : p f (q > r),

Q : (p f q) > (p f r)
1

3. Verifique, SIN USAR TABLAS DE VERDAD, en cuales de los siguientes casos P Q.

a) P : p (p r),
b) P : p q,
c) P : p q,

Q : (p q) (p r)

Q : (p q)
Q:pq

d ) P : (p q) (p r),

Q : p (q r)

e) P : p q,

Q : (q p)

f ) P : p q,

Q:p

g) P : p (q r),
h) P : p (q r),

Q : p (q r)
Q : (p q) (p r)

i ) P : p q,

Q:pq

j ) P : q p,

Q:pq

k ) P : (p q) (q r),

Q:pr

4. Para cada uno de los circuitos de la Figura 1, encuentre la proposicion logica asociada
y simplifique. Adicionalmente dibuje el circuito simplificado.

Figura 1: Circuitos logicos

5. Dibuje el circuito asociado a cada una de las siguientes proposiciones, luego encuentre
un circuito equivalente m
as simple, en caso que sea posible.
a) (p q) (q p)
b) (p q) (q r)
c) (p q) (p (q r))
2

d ) [(p q) r] (q p)
e) p [((p q) r) ((p q) r)]
6. Verifique, SIN USAR TABLAS DE VERDAD, en cuales de los siguientes casos P Q
a) q (r q) a r
b) (p q) p a q
c) (r s) (r p) (s q) a (p q)
7. Simbolice y demuestre la validez de los siguientes razonamientos, usando metodo
directo o reducci
on al absurdo.
a) Si y = 1 entonces x = 0 o x > y. Si z = 1 entonces x = 0 o x < z. No es cierto
que x > y o x < z. Ademas y = 1 o z = 1. En conclusion, x = 0.
b) Esta tarde no hace sol y hace mas fro que ayer. Iremos a nadar solo si hace sol.
Si no vamos a nadar, daremos un paseo en canoa. Si damos un paseo en canoa,
estaremos en casa para la puesta del sol. En consecuencia, estaremos en casa
para la puesta del sol.
c) Si estudio L
ogica, me aburro y acabo abandonando. Pero si me aburro, o me
falta inspiraci
on, o es que no he abandonado. Pero no me falta inspiracion. Por
lo tanto, es que no estudio Logica.
d ) Si hay exigencia personal, entonces o no habra desidia o si no hay huelgas no
habr
a espritu de trabajo. No hay huelgas y panico nacional. O no hay responsabilidad, o hay exigencia personal. Con honestidad, habra responsabilidad y
aumentar
a la producci
on nacional y el espritu de trabajo. Si aumenta la producci
on, no hay p
anico nacional o hay desidia. Por tanto, no hay honestidad.
e) Norma no va a su reuni
on del martes por la ma
nana a menos que se levante muy
temprano. Si va al concierto de rock el lunes por la noche, entonces llegara a
su casa despues de las 11 de la noche. Si Norma llega a su casa a esa hora y
se levanta temprano al da siguiente, entonces tendra que ir a trabajar despues
de dormir menos de siete horas. Por desgracia, Norma no puede trabajar con
menos de siete horas de descanso. Norma no debera ir al concierto de rock o
deber
a faltar a su reuni
on del martes por la ma
nana.
f ) Si de que la funci
on es derivable en x = a se sigue que es continua en x = a, y
si de que es creciente en x = a se sigue que x = a no es un maximo, entonces de
que la funci
on sea derivable y creciente en x = a se sigue que es continua y no
tiene m
aximo en x = a.
g) Si el
angulo alfa es igual al angulo beta, entonces el angulo beta es igual a 45 .
Si el
angulo beta es igual a 45 , entonces el angulo theta es igual a 90 . O el
angulo beta es recto o el angulo beta no es igual a 45 . El angulo theta no es

recto. por tanto, el

angulo alfa no es igual al angulo beta.
h) S
olo si llego pronto no se me enfra el cafe. No llego pronto a menos que el
tr
afico vaya bien, suene el despertador y no me quede dormido. Pero o no suena
el despertador o estoy sordo. Oigo bien, luego se me enfra el cafe.
3

8. Simbolice y demuestre la validez de los siguientes razonamientos, usando prueba condicional.

a) Si vengo pronto, es que estoy cansado o no tengo dinero. No estoy cansado a
menos que haya pintado el techo y no haya dormido la siesta. Pero he dormido
la siesta, luego si vengo pronto es que no tengo dinero.
b) Si no hay control de nacimientos, entonces la poblacion crece ilimitadamente.
Pero si la poblaci
on crece ilimitadamente, aumentara el ndice de pobreza. Por
consiguiente, si no hay control de nacimientos, aumentara el ndice de pobreza.
c) No sucede que Luis tome apuntes y no sea aplazado. O se duerme en clases, o
toma apuntes. Si se duerme en clase, no atiende. O no madruga, o no atiende en
clase. Por tanto, si madruga sera aplazado.
d ) Si la impresora no imprime, entonces tiene un problema de software o de hardware. Si la impresora no imprime no podemos mandar un fax. Si no podemos
mandar un fax, mandamos un mail. Si la impresora tiene cualquier problema
llamamos a un tecnico. La impresora no imprime, por tanto mandamos un mail
o llamamos a un tecnico.
e) Es primavera y es suficiente comerse un helado para calmar la sed. Si no calmas
tu sed entonces no te sientes bien. Te sientes bien si es primavera. Luego si es
primavera calmas tu sed.
f ) O vienes en coche o, si tienes tiempo, vienes en tren. No vienes en coche s y
s
olo s no tienes coche o el coche esta en el taller. Puedes venir hoy o ma
nana.
Si vienes hoy, tienes tiempo pero el coche esta en el taller. Si vienes ma
nana, el
coche no estar
a en el taller pero no tendras tiempo.Por lo tanto, si vienes hoy
entonces vienes en tren, y, si vienes ma
nana y tienes coche, vienes en coche.
9. Analice el siguiente argumento y responda a la pregunta formulada. Justifique muy
bien su respuesta.
En un juicio, el fiscal argumento:
Si el acusado es culpable, entonces tena un testigo.
A ello, el abogado defensor respondio inmediatamente:
Eso es totalmente falso.
El acusado decidi
o despedir a su abogado defensor.
Tendra sentido la decisi
on del acusado?
10. Verifique si los siguientes conjuntos de premisas son consistentes o no:
a) Si tengo mucho que estudiar esta noche, tomare abundante cafe. Si me duermo
pronto, no podre estudiar toda la noche. No sucede que o tomare cafe o no
podre estudiar toda la noche. Si no tengo mucho que estudiar toda la noche, me
dormire pronto.
b) El loco no sali
o de la casa a menos que haya tomado el autob
us. Solo se fue
hacia el ro si vio a la polica en la plaza. O fue hacia el ro o salio de la casa. El
demente no fue a tomar el autob
us y no vio a la polica.

c) S
olo estudias cuando tienes examen al da siguiente. No es verdad que estudias
y sales bien en el examen. Saldras bien en el examen solo si dominas la materia.
Si ma
nana no tienes examen, dominas la materia.
d ) Si Mara es la mayor, entonces Jose es mas joven que Susana. Mara es la mayor
y Carmen no es mayor que Susana. No ocurre que Susana es la mayor o Carmen
es mayor que Susana.
e) Si Pedro mide metro setenta, entonces no ocurre que Esteban es mas alto que
Pedro y que Marcos es mas alto que Pedro. Pedro mide metro setenta y Marcos
no es m
as alto que Lucas. Si Marcos no es mas alto que Pedro, entonces Marcos
es tan alto como Lucas. Ademas, Esteban es mas alto que Pedro.
11. Demuestre la validez o la invalidez de los siguientes razonamientos

l e
m l
e m

m
c m b
b
c

c m
c p
p e
bm
b e

psv
v cq
qr
c r
s

p q r
s u
t s r
u t
p

r q
pq
s r
s q
s

q s
p q r
pr
s

ps
q t
p (q r)
s
r t

pq
r st
pqr
s
t

r
p r
pq
q

t
rt
p q r s
p

a+b=4a=2
(a = 2 c = 8) a + c = 10
a 6= 2 c = 8
a + b 6= 4 a + c 6= 10