2.1.

EJERCICIOS PROPUESTOS
1. Decir si las siguientes oraciones son o no son proposiciones:
a) El Perú tiene más de 5000 variedades de papa.
b) El capitán Maxwell será jefe de la nave XA – 79.
c) ¿Qué te paso el otro día?
d) ¿Cuándo llegará el capitán Maxwell a Marte?
e) ¡Dios mío! ¡Ayúdame!
f) Oro no es, plata no es, abre la cortina y verás lo que es.
g) x + y = 2.
h) Un grano de cacao es la semilla fermentada y secada del Theobroma cacao, del cual
los sólidos de cacao y la manteca de cacao se extraen.
i) La abuela de Caperucita Roja fue devorada por el lobo.
j) Él está comiendo una naranja.
k) El próximo jueves lloverá en Tingo María.
l) Debo aprobar este ciclo todos mis cursos.
2. Identifique todas las proposiciones atómicas en las siguientes oraciones, y abrévielas con
símbolos tales como p, q o r. Luego traduzca las oraciones al cálculo proposicional.
a) Si Juan está en la UNAS, entonces Julio debe de estar en la UNAS también.
b) La botella lleva una etiqueta de advertencia si contiene acido.
c) Es necesario una etiqueta para los envases que contienen insecticida.
d) Estarás a tiempo sólo si te apuras.
e) No se trabaja, no hay paga.
f) Si u es mayor que v, y v no es menor que w, entonces u es mayor que w.
g) Habrá inflación, a menos que se moderen los precios y los salarios. Siempre que se
moderan los salarios, pero no los precios, si el Gobierno no interviene ocurre que el
consumo interno disminuye y la economía se ralentiza. Por tanto, cuando no se
moderan los precios, es necesario que el Gobierno intervenga para que la economía
no se ralentice.
3. ¿Cuál es la tabla de verdad de la siguiente proposición? “Si estudias, podrás egresar en 5
años de la universidad, pero si no estudias, no podrás egresar en 5 años de la
universidad”
a) VVFV b) FVFV c) VFVF d) VFFV e) FVVF
4. Al hallar la tabla de verdad de la siguiente proposición: “Si tomas desayuno y haces
deporte entonces no es cierto que no haces deporte, pero no tomas desayuno y haces
deporte” se obtiene:
a) Una verdad y tres falsedades b) Cuatro verdades c) Cuatro falsedades
d) Tres verdades y una falsedad e) Dos verdades y dos falsedades.
5. Sea el esquema p→(q∧r ) se traduce como:
a) Hay nubes y hace calor si llueve. b) Si hay nubes y hace calor lloverá.
c) Llueve si y sobre si hay nubes y hace calor. d) Llueve si hay nubes y hace calor. e) b
y d.
6. La proposición lógica “Subirá el precio del pollo porque subió el precio del maíz. En
vista de que, si subió el precio del maíz, el gobierno subvencionara el precio de la papa”
se formaliza.
a) (p  q)  (q  r) b) (p  q)  (p  r) c) (p  q)  (q  ~ r)
d) (p  q)  (q  ~ r) e) (p  q)  (q  ~ r)
7. Inserte paréntesis dentro de las expresiones siguientes:
a) p  q  r  s b) ~ (p  q)  ~ r  p c) p  q  r  ~ s d) p  q  ~ q  ~ p
8. Dadas las proposiciones q: “ √ 2 es un número entero”, p y r cualesquiera tal que la
proposición ~ [(r∨ p )→(r→q )] es verdadera; hallar el valor de verdad de las
siguientes proposiciones:
 a) r → (~ p  ~ q) b) [ r ↔( p∧q ) ] ↔(q∧¿ ¿ ~ p) c) (r  ~ p)  (q  p)
9. Si (p  q)  (r  s) es una proposición verdadera, teniendo r y s valores de verdad
opuestos. De las afirmaciones siguientes cuales son verdaderas.
a) [~ (p  q)  (r  s)]  (~ p  q) es falsa
b) [(~ r  ~ s)  (p  r)]  ~ (r  s) es verdadera
c) [(~ p  ~ q)  (r  s)]  p es verdadera
10. Si la proposición ( p → ~ q) →( r → ~ s) es falsa. Hallar el valor de verdad de las
proposiciones p, q, r, s, respectivamente.
11. Si la proposición ~ [(~ p  q)  (r  q)]  [(~ p  q)  (q  ~ p)] es verdadera. Hallar
los valores de verdad de p, q y r.
12. Si la proposición ~ [(p  q)  ~ (~ q  r)] es verdadera. Hallar los valores de verdad de
p, q y r.
13. Si p, q y r son proposiciones tal que ~ [(r  q)  ( r  q)] es verdadera y q es falso,
hallar el valor de verdad de:
a) [r  (p  q)]  (q  ~ p) b) (r  ~ p)  (q  p)
14. Si p, q, r, s son proposiciones y si (p  ~ q)  (~ r  s) es falsa, deducir el valor de
verdad de:
a) (~ p  q)  ~ q b) (p  r)  (p  s) c) (~ r  q)  (~ q  s)
15. Si p, q, r, s, t, w son proposiciones tales que:
x: (p  ~ r)  (s  w) es verdadera. y: (~ w  ~ s) es falsa.
Hallar el valor de verdad de las proposiciones
a) ~ x  ~ y b) [t  (w  ~ p)]  ~ (p  r) c) (s  ~ w)  (r  ~ p)
16. Durante un juicio, el fiscal y el abogado del representante papero dijeron lo siguiente:
Fiscal: “Si el representante papero es culpable de la toma de la carretera, entonces tenía
sus cómplices”.
Abogado del representante papero: “¡Eso es falso!”. Responda la siguiente pregunta.
¿Por qué retiró el representante papero el encargo de su defensa a su abogado?
17. Juana que nunca miente, ha confesado a su amiga Paula lo siguiente: “Amo a Marco o a
Irving, pero no a ambos. Además, si amase a Marco amaría también a Irving”. Decir a
quién ama Juana.
18. Hallar el valor de verdad de las proposiciones:
a) ( 5/ 3>7 / 3∧√3 −1/ 8<0 ) → [ 1/ 4≥ √3 1/ 8∨(( 1/ √3 8 ) < ( 1/ √ 16 ) ↔ 8>0 ) ]
3
[
b) ( √ 8> √ 2∧−8<0 ) → √ 2≥√ 8∨( ( 1/ √ 8 ) < ( 1/ √ 2 ) ↔ 8> 0 )
3 3
]
c) (2 > 0  – 3 < 0)  (2(–3) > 0  2(– 3) < 0)

d) [ (−2<0∧(−1/2)<0 )∨−2>0 ] →(1>0∧ √−8>0)

3

19. Pruebe que son tautologías las siguientes proposiciones

a) (p  q)  (q  p) c) [p  (q  r)]  [(p  q)  r]
b) (p  q)  [(p  q)  (q  p)] d) (p  q)  (~ q  ~ p)
20. ¿Cuáles de las siguientes proposiciones son verdaderas?
a) ~ [~ (p  q)  ~ q]  (p  q) c) ~ (~ p  q)  (p  q)
b) [(p  q)  (r  q)]  [ (p  r)  s] d) [(~ p  q)  (~ q  r)]  (p  r)
21. Escribir la negación de cada una de las proposiciones siguientes
a) Él no es rico, pero es feliz. b) Ni Juan ni su papá viajaran a Lima a fin de mes.
c) Él no es pobre ni es feliz. d) Ambos países Brasil y Perú irán al mundial de fútbol. e)
Si Carlos llega a tiempo con los documentos, entonces ambos, Jorge y Lucas, podrán
inscribirse en el ciclo de conferencias. f) Él es bajo, pero es muy ágil.
22. Si T es una tautología y p, q son proposiciones ¿Cuáles de las afirmaciones son
verdaderas?
 a) {[(p T)  (q  ~ T)]  (p  q)}  p c) {[(p  q)  (~ p  ~ q)]  (p  q)} 
T
b) {[ (p  q  ~ T)  ~ T]  [ (~ p  T)  T]}  T
23. El esquema ~ (p  q)  ~ p es equivalente a:
a) (p  q)  ~ p c) ~ (~ q  ~ p) ~ p e) ~ [~ (p  q) 
p]
b) ~ [~ p  ~ (p  q)] d) ~ [~ (p  q)  p]
Son ciertas: i) a, b, d ii) b, d, e iii) b, c, e iv) a, c, d v) Todas.
24. Si definimos (p * q) como la proposición (p  ~ q); según esto. ¿A qué equivale?
~ [(~ p) * (~ q)].
a) ~ (~ p  q) b) ~ (q * p) c) p  ~ q d) p  q e) p * q
Son ciertas: i) c ii) a, c iii) a, b, c iv) Todas menos d v) Ninguna.
25. Si (p  q) significa “ni p y ni q” y se define por ( ~ p  ~ q), entonces ¿A cuál es
equivalente ~ (p  q)?
a) (~ p  q)  (q  p) b) (~ p  q)  (~ q  p) c) (~ p  ~ q)  (p  q)
26. Si (p  q) es falso, así como r y s tiene valores de verdad opuestos, indique cuales son
esquemas verdaderos:
a) (p  q)  (r  s) c) (p / q)  (r  s) e) ~ (p  q)  (r  s)
b) ~ p  (~ r  ~ s) d) (p  q)  (r s)
27. ¿Cuáles de las siguientes proposiciones son tautologías?
a) [(p  q)  (q  p)]  (p  q) b) ~ (p  q)  (p  q)
c) (p  ~ q)  (~ r  p)  q  r d) ~ (p  q)  (p  q) e) (pq)  (~ p 
q)
28. El esquema formal [(p  ~ q)  q]  [(q  p)  ~ p]  q es equivalente a:
a) (p  q)  F b) p  q c) p  q d) ~ p ~ q e) (p  q)  V
Son ciertas: i) c ii) a, e iii) a, c, e iv) e v) Ninguna
29. Usando las leyes del álgebra de proposiciones determinar los esquemas más simples
equivalentes a las proposiciones:
a) ~ {~ [ ~ (~ p  q)  ~ q]  [ ~ (p  ~ q)]} d) s  ~ [ w  (~ s  w)]
b) [ ~ q  ~ p)  (~ p  ~ q)]  ~ (p  q) e) p  q  ~ p  q
c) [ ~ (r  ~ s)  s]  {(~ r  s)  [ s  (r  s)  ~ r]}
30. Dadas las siguientes equivalencias
a) p # q  (p  q)  (~ qp) b) p*q  (pq)  (~ p  q) c) p $ q  (pq)  (pq)
Evaluar la fórmula y luego simplificarla de: (p  r) # [(r $ q) * ~ p]
31. Escribir la expresión (p  ~ q)  (~ p  q) en términos de p / q  (~ p  ~ q)
32. Usando las leyes del álgebra de proposiciones, indicar cuales son tautologías:
a) “Hoy día triunfo o fracaso. Si triunfo, gozaré. Si fracaso, volveré a insistir. Más
dejaré de insistir. En consecuencia, gozaré.”
b) “No se da el caso que o bien voy al estadio o bien a la universidad. Pero se da el
caso que a la universidad evitare ir. Por consiguiente, no es incierto que al estadio
evitare ir.”
c) (p  q)  (~ p  q). e) (q  p)  [(p  q)  (p  q)]
d) (p  ~ q) (~ r  p)  q  r f) [(p  r)  (q * ~ r)]  [(p  ~ r)  (r  ~
p)].
33. Demuestre por demostración directa o por reducción al absurdo si los siguientes
esquemas representan argumentos válidos o falacias.
a) pq b) p  q c) pq d) (p  q)  (r  s)
 pr qr ~pq ~q~s
~r
q  r ~ p ~ q ~ p  ~ q
34. De los siguientes argumentos indicar si son válidos o no válidos. Use dos formas de
demostración.
a) Si existe mucha oferta de papa, entonces su precio disminuirá.
Si el gobierno compra papa, entonces existe mucha oferta de papa.
Pero, el precio de la papa no está barato.

Por tanto, el gobierno no compra papa.

b) Si el contrato no se cumple, entonces la construcción del edificio no se terminará a
fin de año.
Si la construcción no se termina a fin de año, entonces el banco pierde dinero.

Por lo tanto, si el contrato no se cumple, entonces el banco pierde dinero.

c) Si 8 es impar, entonces 2 no divide a 5.
3 no es primo o 2 divide a 5.
Pero 3 es primo.

Por tanto: 8 es par (no impar).

d) Gano dinero porque trabajo.
Si estoy ocioso me divierto.
A menos que trabajo, estoy ocioso.

 Siempre que no gano dinero, me divierto.

e) Si el euro está fuerte, el petróleo está barato pero las exportaciones resultan caras. Si
Europa se endeuda o la economía no crece, el petróleo no estará barato. La economía
crece si y sólo si ni las exportaciones resultan caras ni la inflación aumenta.

Por tanto, si la inflación aumenta, el euro no está fuerte.

35. Halle la conclusión de los siguientes argumentos, use los argumentos válidos notables y
las leyes del álgebra de proposiciones.
a) Si eres responsable entonces eres aplicado tal como triunfador. Pero si eres aburrido
no eres triunfador. Más eres aburrido salvo que también seas conformista. Más eres
responsable. Por ello: …
b) Hoy día triunfo o fracaso. Si triunfo, gozaré. Si fracaso volveré a insistir. Más dejaré
de insistir. En consecuencia …
c) Si no llueve, entonces habrá sequía o hambruna. Siempre que hace frío o nieve, no
llueve, pero hace frío o nieve. Inferimos que: ….
d) Si el ministro o el presidente hubieran escuchado a los productores de papa, la huelga
no se hubiese iniciado, y la policía no hubiera actuado violentamente. Si la policía no
hubiera actuado violentamente, hubiera podido alcanzar el automóvil de los
huelguistas, pero no pudo alcanzar el automóvil de los huelguistas. Luego …

e) Si el euro está fuerte, el petróleo está barato pero las exportaciones resultan caras. Si
Europa se endeuda o la economía no crece, el petróleo no estará barato. La economía
crece si y sólo si ni las exportaciones resultan caras ni la inflación aumenta. Por
tanto, …
36. Diseñar el circuito más simple equivalente al siguiente circuito.

37. Un estudiante rinde un examen del tipo verdadero – falso, que consiste en cinco
preguntas. Sabe que su profesor siempre plantea más preguntas verdaderas que falsas, y
que nunca plantea tres preguntas consecutivas que tengan la misma respuesta. Por la
naturaleza de la primera y última pregunta, sabe que estas deben de tener respuestas
contrarias. De la única pregunta que conoce la respuesta es la segunda y esto le asegura
tener las respuestas correctas. ¿Qué sabe él sobre la pregunta dos?, ¿Cuáles son las
respuestas a las cinco preguntas? Justifique con base lógica.
38. Sea A el circuito lógico más simple correspondiente a la proposición:
[(p  q)  (p  r)]  [ (p  s)  (p  ~ s)]
y B el circuito más simple equivalente a:

Construir el circuito lógico simplificado correspondiente a: A  B.

39. Hallar la proposición X de manera que sea una tautología el circuito simplificado
siguiente: