Universidad Nacional Agraria de la Selva Grupo de Ingenierías

Lógica Proposicional
1. Determine cuáles de los enunciados son proposiciones y escriba la negación de aquellos que lo son:
a) x2 + 1< 10
b) Todos los hombres son inmortales
c) Buenos días
d) 2 + 5 < 6
e) La UNAS es la mejor Universidad de la amazonía peruana.
f) ¡Que bonito juega nuestra selección de fútbol!
g) El próximo domingo lloverá en Tingo María
h) La Temperatura de la superficie de la luna es de 700 °F.
i) ¿Cuántos años de edad tienes?
j) ¡Recoge ese lápiz!
k) Hace mucho frío
l) Mesero, ¿puede traer las nueces?
m) Para algún entero positivo n, 19340 = n.17
n) Pélame una uva
o) La frase “Hazlo de nuevo, Sam” aparece en la película Casablanca.
p) Todo entero par mayor que 4 es la suma de 2 primos.
q) x2 – 2x +1  0
r) Para cualquier número real x se cumple que: x2 – 4x + 4 > 0

2. Sean : P: 8 es un número par , q: 8 es el producto de 2 enteros. Traducir en símbolos y hallar el valor de

verdad de cada una de las siguientes proposiciones:
a) 8 es un número par o es el producto de dos enteros.
b) 8 es impar y es un producto de dos enteros.
c) 8 es par y un producto de dos enteros o es un número impar y no un producto de dos enteros
3. Hallar el valor de verdad de la proposición:

(4 4  )  1
2  1  0 →  2  4 4  
44

1 
 − 1  0  
  2 
4. Sean; p: él es inteligente, q: él es responsable, r: él es estudioso. Escribir los enunciados siguientes en forma
simbólica:
a) Si es inteligente entonces es responsable
b) El no es responsable entonces no es estudioso
c) Si es inteligente y responsable entonces es estudioso; pero si es inteligente y no es responsable, entonces
no es estudioso.
d) Ser estudioso es suficiente para ser responsable.
e) Si es inteligente, más no es responsable, evidentemente nunca será estudioso.
f) Es necesario ser responsable para ser estudioso.
5. Sean p : “ Dalia habla Francés ” , q : “ Dalia habla portugués ”
Escribir mediante un enunciado verbal sencillo los siguientes enunciados simbólicos:
a) p  q b) (p  ~ q)  p c) (~p → q)  (q → p)
d) (p  ~ q)  ( q  ~ p) e) ~ ( p  q )  ~ (q  p) f) ~(~p~q) → q
g) ~ [~ (p  q) → (~ p  ~ q )]
6. Escribir la negación de cada una de las proposiciones siguientes:
a) El no es rico, pero es feliz.
b) El no es pobre ni es feliz
c) El es bajo pero es muy ágil
d) Ni Juan ni su papá viajarán a Tarma a fin de mes
e) El tiene un compás o una regla
f) Ambos equipos Alianza y la U irán a la Copa Libertadores.
g) Si Juan llega a tiempo con los documentos, entonces ambos, Carlos y Jorge, podrán inscribirse en el ciclo
de conferencias.
7.   ( p v q)  (r →q    ( p  q) → (q   p )  , es verdadero.
Hallar los valores de verdad de p, q y r.

Matemática Básica M.Sc. Javier Rodríguez Cruz

Universidad Nacional Agraria de la Selva Grupo de Ingenierías

8. Si la proposición (p →  q)  ( r →  s), es Falso. Hallar el valor de verdad de los esquemas:

A =  ( q   s) →  p B =  ( r  s)  ( p →  q ) y C = p →   q →  (s→ r ) 
9. Demostrar usando los dos métodos las siguientes equivalencias (Tablas de verdad, simplificación)
a) p → q  (p  q) → F
b) (F→p)  V ; (p → V)  V
c) (p→F)  ~p ; ~(p → q)  (p ~q)
d) p → q  [(p  q) q]
e) p → q  [(p  q) p]
f) p  q  ( p  q)  (p  q)  (pq)

10. Indicar cuáles son Tautología, Contradicción, o Contingencia:

a) (p  q) ( p  q)
b) (p → q) ( p  q)
c) (p  q) ( p → q)
d) [( p  q)  q] → p
e) [ p  ( q  r) ]  [( p q)  ( p  r) ]
f) (p  q) ( p  q )
g) ~[~(p  q ) → ~q]  (p →q)
h) ~{(p  q)  [p  (p q)]}  (p → ~q)
i) {[(~p  r) → q ]  [~ q  (p  r)]}  {(p  q)  (q r)}

11. Si ~ [(~ p  q)  (r → q)]  [(~ p  q) → (q ~ p)] es verdadera, hallar los valores de verdad de p, q y r.
12. Determinar el valor de verdad de las proposiciones p y q si se conoce que el valor de verdad del siguiente
esquema [~ (~ p → q ) →~ (p →~ q )] → (p → q ) es falso
13. Si la proposición: (~ p  q ) → [( p  r )  t ] es falsa. Hallar el valor de verdad de cada una de las
siguientes proposiciones:
a) (~ p → t ) → (~ q → r ) b) (~ q  ~ r )  [~ t  (p  q )]
c) ~ [(~ p ~ q ) → (r  ~ t )]
14. Admitiendo la falsedad de: ~ [p  q  r ] →~ (m  n  t ) . Hallar el valor de verdad de:
a) [( p  m) → (q  n )]  t b) [( p → q ) → (q → m)]  ( r → t )
c) {[( p  q ) → (r  s)]  (~ q →~ t )} → [( p → q )  (q → m)]
15. Sabiendo que el valor de verdad de la proposición compuesta:
{~ [( p  r ) → q ]  [( p  q )s]} → [(sp) → t ] es siempre falso. Determinar el valor de verdad de las
siguientes proposiciones:
a) {[(~pq)  r] → [~(q→(u → p))]}  (p  q) b) {~(p→q)[(rp)→~(rs)]}  t
16. Dadas tres proposiciones: p, q, r, consideremos la proposición compuesta:
t : [( p  r )  (~ q →~ p)]  {~ [~ p → (~ r  q )]}
a) Simplificar t a su forma equivalente más sencilla
b) Si “r” es falso y si las proposiciones “p” y “q” tienen valores de verdad opuestos, hallar el valor de verdad
de “t”.
17. Se sabe que: t  ( r  s)  ~ r , u  ( r →~ s) → r
Si t es falso y u es verdadero, determinar el valor de verdad de: [( r  u )  ( ts)] ~ t
18. Si definimos: p  q  (p  q ) → (p  q ) , p # q  ~ p ~ q , pq  ~ ( p → q )
Evaluar la tabla de verdad de las siguientes proposiciones:
a) ( p → q )# (qr ) b) [( p  r )# q ](q # r ) c) ( p # r )  ( r * q )
d) ~ (p # q ) ~ (pr ) e) [(~ p  ~ r ) → (r # p)] ~ q f) {[( pr )# q ] → s} {( p r ) * (q # s)}
19. Simplificar:
a) [(~p  q) → (r  r)]  ~ q b) [(q → p) → (p → q)]  (p  q)
c) ~ ( [p  ~q] → q ) d) ~ {~ [~ (~ p  q)  ~ q] → ~ (p  ~q) }
e) {[ pq  (pq)]  [r  (r  q)  p]}  {[pq q ( pq)] →[r  p  (r q)]}
20. De la falsedad de (p →~q)  (~r → s), deducir el valor de verdad de:
a) (~p  ~q)  ~q b) [(~r  q)  q]  [(~q  r)  s] c) (p →r) → [(p  q)  ~q]
Matemática Básica M.Sc. Javier Rodríguez Cruz
Universidad Nacional Agraria de la Selva Grupo de Ingenierías

21. Sabiendo que el valor de verdad de la proposición compuesta:

{~ [( p  r ) → q ]  [( p  q )s]} → [(sp) → t ] es siempre falso. Determinar el valor de verdad de las
siguientes proposiciones:
a) {[(~pq)  r] → [~(q→(u → p))]}  (p  q) b) {~(p→q)[(rp)→~(rs)]}  t
22. Demostrar que las tres proposiciones siguientes son equivalentes
a) ~[(q  ~p)  (q  (r  ~p))] b) (p ~q)  [~q  (~r  p)] c) ~[~q → ~p]  [q → ~(p→r)]
23. Sabiendo que la proposición: [( pq )  ( p  q )] → (r  s ) es falsa, hallar los valores de verdad de:
I) [p  (r  s ) ] → ( r  s ) II) ( r  s ) → ( p  r ) III) [ ( p  q) → ( p  s) → [( w  p)  (s  r )] ]
24. Si definimos: p  q  ( p  q ) → ( p  q ) , p # q  [( p  q ) → r ]  [r → ~ ( p  q )] y
pq  ~ ( p → q ) . Simplificar {[( p  r ) # q ] → s}  { ( p r ) * (q # s ) }
25. Simplificar :  ( ( p  q)   ( r   q )  ( q   r )  )  ( p  q)   ( p  q)  ( p  q)  (p  q)
26. Verifique que: [(𝑝 ↔ 𝑞) ∧ (𝑞 ↔ 𝑟) ∧ (𝑟 ↔ 𝑝)] ≡ [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑟 → 𝑝)]

27. Simplificar los siguientes circuitos

a) p q p

p r
q
q p
p q

b) q p p
p q q

q p
r

s
s
c) r

s
p
r
r
28. Determinar los circuitos lógicos que representan a los siguientes esquemas proposicionales:
a) ~[p → ~ (q  r) ] b) {[(r  q)  p]  ~ r}  q
c) ( p  q) → [(p q) → (p  q)] d) (p  q) → (q  p)
e) p  ([q  {p  (s  q)}]  [r  {(s  p)  q}]  t  (q  s)

29. Simplificar lo más posible los siguientes circuitos:

p p p p
a)
p r
q q q r

p q p p

p q r r

Matemática Básica M.Sc. Javier Rodríguez Cruz

Universidad Nacional Agraria de la Selva Grupo de Ingenierías

b) q r
p ~q r s
r ~s
p ~r
~p q ~r
~q ~r ~s

30. El costo de cada llave en la instalación del circuito siguiente es de S/ 15. ¿En cuánto se reducirá el costo de
instalación si se reemplaza dicho circuito por el más simple posible?

p ~p p
p q
q ~q q
p q ~r
r p
~p ~q q

31. Sea X la proposición más simplificada del circuito lógico:

p r ~q
q p q
q
~r p ~q
~r q

r ~q ~p ~q
y sea Y la proposición más simplificada de [( p  s)  (p  ~ s)]  [( p  q )  (p  r )] construir el circuito
lógico más simplificado correspondiente a Y → X

32. Simplificar el circuito:

p r ~q p
q p q
q r
~r p ~q
~r q p q r
~p ~q
r ~q
r ~q
33. Una máquina indicadora de mayoría de votos de un comité de tres miembros comprende tres interruptores x,
y, z y una lámpara. La lámpara se enciende si se obtiene la mayoría de votos a favor. Dibuje el circuito de
esta máquina.
34. Una máquina indicadora de mayoría de votos se instala en una corporación de negocios que tiene un presidente
y tres vicepresidentes. Cada vicepresidente tiene un voto, pero una propuesta puede ser llevada a cabo sólo sí
el presidente vota por ella y si sale en mayoría. Dibujar el circuito de esta máquina.
35. Suponga que en una sala hay 3 docentes en sus respectivos escritorios separados uno del otro los cuales
quieren encender o apagar un ventilador instalado en el centro del ambiente accionando un interruptor sin
moverse de su escritorio. Diseñe el circuito más económico que deja satisfechos a los docentes.

Matemática Básica M.Sc. Javier Rodríguez Cruz