Beruflich Dokumente
Kultur Dokumente
FACULTAD DE CIENCIAS
ESCUELA DE COMPUTACION
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
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
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.
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
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