UNIVERSIDAD NACIONAL FEDERICO VILLARREAL

FACULTAD DE ARQUITECTURA
CURSO: MATEMATICA I

PRACTICA DIRIGIDA #1 - LOGICA

1. ¿Cuales de las siguientes proposiciones son verdaderas y cuales son falsas?
a) 2 + 2 = 4, entonces 5 = 5.
b) Si 3x5 = 15, entonces 8 – 4 = 12
c) Si 17 – 5 = 3, entonces 4(5 + 3) = 32
d) Si 1 = 2, entonces es un número primo.
e) Si los triángulos son cuadrados, entonces los monos son pájaros.
f) Si los triángulos son polígonos, entonces 1 = 2.
g) Si los deseos son caballos, entonces la luna esta hecha de queso.
h) Si 3,5 es un número natural, entonces 17 es un número primo.

2. Si p, q, r, s son proposiciones y si: (p  q)  (r  s) es falsa, deducir el valor de verdad de:
a) (p  r)  (p  s)
b) (r  q)  (q  s)

3. Simplificar:
a) (p  q)  (q  p)
b) p  (p  q)
c) [(pq)  p]  [(p  q)  p]
d) [(p  q)  (q  p)] (p  q)

4. Expresar, utilizando cuantificadores, los enunciados siguientes:

a) Ningún europeo es asiático.
b) Todo hombre justo es respetado.
Negar las proposiciones anteriores.

5. Si U = Z, hallar el valor de verdad de las proposiciones siguientes:

a)  x  U/ 3  x2  10 b)  x  U/ x2 – 2x + 3 > 0
c)  x  Z/ x  5  x < 6 d) [ x  Z/ x > 2  x < 1]

6. Determinar la validez de los siguientes razonamientos:

a) Si Pérez se retira del certamen, entonces o bien Gutiérrez ganará el título, o bien Sánchez quedará
decepcionado. Gutiérrez no ganara el título. Por lo tanto, si Pérez se retira del certamen, entonces
Sánchez quedara decepcionado.
b) Si Juan es inteligente y estudia mucho, sacará buenas notas y aprobará el curso, Si Juan estudia
mucho, pero carece de inteligencia, sus esfuerzos serán apreciados, y si sus esfuerzos son apreciados
aprobará el curso. Si Juan es inteligente, entonces estudia mucho. Luego Juan aprobará el curso.
c) Si sus precios son bajos, entonces sus ventas serán elevadas, si usted vende mercadería de calidad,
entonces sus clientes estarán satisfechos. Luego, si sus precios son bajos o vende mercadería de
calidad, entonces o sus ventas serán elevadas o sus clientes estarán satisfechos.
d) Si compramos un terreno, quiere decir que construiremos una casa. Si compramos una terreno, y si
construimos una casa, compraremos enseres domésticos. Si construimos una casa y compramos
enseres domésticos, compraremos platos. Por lo tanto, si compramos un terreno, quiere decir que
compraremos platos.

LOS PROFESORES DEL CURSO

 UNIVERSIDAD NACIONAL FEDERICO VILLARREAL
FACULTAD DE ARQUITECTURA
CURSO: MATEMATICA I

7. Diseñar sus respectivos circuitos lógicos:

a)
c) p b) /p /q

/p
q /p
p
/q /p /q

q d) /p
p

/p p p /q /q
/q

p q

8. Demostrar que son equivalentes los siguientes circuitos:

q (2) q
(1)
r
r
q p

p q r

r /q

r p

r
(3) q
/r

q /q

r
/r

LOS PROFESORES DEL CURSO

 UNIVERSIDAD NACIONAL FEDERICO VILLARREAL
FACULTAD DE ARQUITECTURA
CURSO: MATEMATICA I

9. Simplificar a la menor expresión y diseñar su respectivo circuito eléctrico:

a) [p  (q  r)]
b) p  (p  q)
c) [(p  q)  (p  q)]  [(q  p)  (q  p)]
d) [(p  q)  (p  q)]  (p  q)

10. Dado los circuitos:

/q
(1) p (2) (3) p q
q p
p /q p
/q /p
q
/p
q
Al conectarlas en paralelo y simplificar, obtenemos:
A) /p p B) p C) p q D) p

q
11. De la falsedad de : ( p  ~q)  (~ r  s) deducir el valor de :
a) (~ p ~ q)  ~ q b) [(~ r  q)  q]  [(~ q  r)  s]
c) (p  r)  (p  q)  ~ q]

12. Si se sabe que: ( p  q) y (q  t) son falsas. ¿Cuáles de las siguientes proposiciones son
verdaderas?

a) (~ p  t)  s b) ~ [p  (~ q  ~ p)]
c) [~ p  (q ~ t)]  [(p  q)  ~ (q  t)]

13. Si r  [p (q  r)] es falsa, halle el valor de verdad de :

[(p  q)  r]  [p  (q  r)]

14. Demostrar que :

a) p  q  ~ p  ~ q b) p  p  V c) ~ p  p  F
d) (p  q)  [(p  q)  q] e) (p  q)  [(p  q)  p]

15. Si: p= V ¬q= F, ¬r= V, ¿Qué formulas biimplicativas son verdaderas?

a) [(p → ¬q) ↔ r] d) [(¬r + ¬p) ˄ q]

b) [(p ˄q) ˄ ¬r] e) (p + ¬q) ↔ ¬r
c) [(p ˄q) ↔ r]

Son no absurdamente falsas, excepto:

a) 2, 3 y 4 b) 1,3 y 5 c) 2, 3 y 5 d) 1, 4 y 5

16. La siguiente fórmula: [(p ˄ ¬q) ˄q] → p, produce en un circuito:

LOS PROFESORES DEL CURSO

UNIVERSIDAD NACIONAL FEDERICO VILLARREAL
FACULTAD DE ARQUITECTURA
CURSO: MATEMATICA I
a) 4 focos apagados
b) 3 focos encendidos y 1 apagado
c) 2 focos encendidos y 2 apagados
d) 4 apagados

17. La Simboliza y simplifica el circuit:

p q

q
q

LOS PROFESORES DEL CURSO