TEMA 1

Proposiciones y conectivos lógicos

EJERCICIOS

1. Determinar cuáles de los siguientes enunciados son proposiciones.

a) 5+7=16-4
b) 3X6=15+1 y 4-2 ≠23X5
c) ¿El silencio es fundamental para estudiar?
d) ¡Estudia lógica simbólica!
e) Nosotros estudiamos en la Universidad Peruana.
f) Los hombres no pueden vivir sin oxígeno
g) ¡Arriba Huacho!
h) 5+x=7
i) 2+x≠3+x

2. Determine cuáles de los siguientes enunciados son enunciados abiertos.

a) X es hermano de y
b) 28<15
c) x+y+z≠1
d) 9x+3>12
e) Ten calma no se impaciente
f) X es ingeniero y Juan es matemático
g) La UNAC sobresalió en el deporte en el 2000

3. Dadas las proposiciones,

q= 4 es un número impar
p y r cualesquiera tal que [(r v q)→(r → p)] es verdadera; hallar el valor de verdad de los
siguientes esquemas moleculares.
(1) r(p vq)
(2) [r↔(pq)](qp)
(3) (r v p)(q v p)
4. De la falsedad de la proposición: (p q) v (rs) se deduce que le valor de verdad de
los esquemas moleculares:
(1) (p  q) v (q)
(2) [r v q][(q v r)  s]
(3) (p  q)[(p v q) q]
5. Los valores de verdad de las siguientes proporcionales:
(1) (3+5=8) v (5-3=4) (3) ( 3+8=11) (7-4>1)
(2) (5-3=8)(1-7=6) (4) (4+6=9) (5-2=4)

Son respectivamente.

6. [(p v q)v(rq)]  [(p v q)(q p)], es verdadera. Los valores de verdad de p, q

y r son, respectivamente
7. De la falsedad de (pq)v(rs), se deduce que:
 (1) (qvs)p
(2) (r  s)(p  q)
(3) p[q (s  r)]

son respectivamente.

8. En cuales de los siguientes casos es suficiente la información para conocer el valor de

verdad de las proposiciones correspondientes:
(1) (pvq) (pq) ; V(q) =F
(2) (pq)(pvr) ; V(p) =v y V(r) = F
(3) [p(qr)] ; V(pr) = v
(4) (pq)r ; V(r) =V
9. Se sabe que pq y qt son falsas, y se y se afirma:
(1) (p v t) v q
(2) [p  (q v p)]
(3) [(pq)(q  t)][p v(q t)]

Entonces son verdaderas.

10. La proposición (pq)(qr) es falsa, y se tienen las proposiciones:

(1) (qvr) v (pvq)
(2) (pvq)[(r)q]
(3) [(pq) v (q r]  (p v r)

Entonces son verdaderos.

11. Si la proposición [(p) q]  [(s) v r] es falsa, de las proposiciones siguientes:

(1) [(𝑝𝑞)𝑟]
(2) (p  q)  (r v r)  s
(3) [(p v q)  p] v (q)
12. Dada las proposiciones
(1) (pq)r ; V(r) =v
(2) (pvq)(pq) ; V(q) =v
(3) (pq)(pr) ; V(p) = v y V(r) = F
(4) p (qr) ; V(r)=V

La información que se da es suficiente para determinar el valor de verdad de las

proposiciones