(Inf-114) Álgebra

(Mat-130) Álgebra
Práctica General de Álgebra
agosto de 2023

Paralelo [A]: Roberto Carlos Huaranca Ampa

Paralelo [B]: Ronnald Alvaro Silva Guzman
Paralelo [C]: Zenon Condori Gonzales
Paralelo [D]: Ronnald Alvaro Silva Guzman
Paralelo [E]: Eugenio Castaños Calle

1. Lógica
La lógica puede ayudarnos a decidir.. ya que tiene que ver
con la rigurosa comprobación de los razonamientos.
(T. Crilly)

1.1. Lógica proposicional.

Problema 1. Escriba simbólicamente las siguientes proposiciones:
(a) Si Enrique juega bien y Pedro viene a todos los encuentros, entonces ganaremos el campeonato
y el presidente del club organizará una fiesta.

(b) Si a es un número no positivo o si a2 es un número negativo, entonces a no es un número real.

Por otro lado, si a y b son números positivos, entonces a2 = b2 es equivalente a afirmar que a
es igual a b. Pero en el caso de que uno de los dos números, a o b sea negativo, la equivalencia
no es cierta.

(c) Hoy no es feriado y mañana tampoco. Sin embargo, si el Sábado hay actividades o el Miércoles
no se suspenden las actividades, entonces el Viernes será feriado.
Problema 2. Escriba las siguientes implicaciones en la forma ”si ... entonces ...”:
(a) La práctica diaria de su servicio es una condición suficiente para que Daniela tenga una buena
posibilidad de ganar el torneo de tenis.

(b) Arreglé mi aire acondicionado o no pagaré la renta.

(c) Marı́a puede subir a la motocicleta de Luis sólo si usa el casco.

(d) Nieva siempre que el viento sople del noroeste.

UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 2
(e) Que Bolı́var gane el clásico, implica que ha derrotado a The strongest.

(f) Es necesario caminar ocho kilómetros para llegar a la meta.

(g) Para que una pelı́cula gane el premio Oscar, es suficiente con que le guste a los miembros de la
Academia de Hollywood.

(h) La garantı́a de tu equipo es válida sólo si los has comprado hace menos de noventa dias.

Problema 3. Proporcionar las recı́procas de las siguientes proposiciones:

√
Si p es primo, entonces p es irracional.
Si acepto el mundo que me ofrecen y soy feliz, entonces empiezo a cavar mi propia tumba.
Si a · b = 0, entonces a = 0 o b = 0.
Si a < 0, entonces a−1 < 0.

Problema 4. Proporcione las contrarecı́procas del ejercicio anterior.

Problema 5. Escribir las siguientes proposiciones en forma simbólica, negarlas, y luego escribir
las negaciones en español:

(a) Si acepto el mundo que me ofrecen y soy feliz, entonces empiezo a cavar mi propia tumba.

(b) El sol está brillando si, y sólo si no está lloviendo.

(c) Un triángulo isósceles o tiene dos lados iguales o tiene dos ángulos iguales.

(d) Si a > 0 y b < 0, entonces a · b < 0.

(e) Si estudio bastante, entonces no me va bien en deportes.

Problema 6. Determinar el valor de verdad de las siguientes proposiciones:

(a) Si 2 + 3 = 4, entonces 1 + 1 = 5.

(b) Si verde es rojo, entonces la luna está hecha de queso.

(c) Si verde es rojo, entonces la luna no está hecha de queso.

(d) 7 < 2 si 2 < 1.

(e) Rojo es blanco si, y sólo si verde es azul.

(f) 2 + 1 = 3 y 3 + 1 = 5 implica que 4 es impar.

Problema 7. Si p : ”7 es un entero par”, q : ”3 + 1 = 4 ”, y r : ”24 es divisible por 8”, traduzca

las siguientes proposiciones y asigne valores de verdad.

(a) p∨ ∼ q.

(b) ∼ (r ∧ q).

(c) ∼ r∨ ∼ q.
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 3
(d) ∼ q∧ ∼ p.
Problema 8. Escriba en forma simbólica y asigne valores de verdad:
(a) 3 + 1 ̸= 4 y 24 es divisible por 8.

(b) No es cierto que 7 sea impar o 3 + 1 = 4.

(c) 3 + 1 = 4 pero 24 no es divisible por 8.

(d) 7 es par si, y sólo si 3 + 1 = 4.

Problema 9. Utilizando solamente los conectivos ∼ y ∨, encuentre proposiciones lógicamente
equivalentes a las siguientes:
(a) p ⇔ q.

(b) (∼ p ∧ r) ⇒ (p ∧ q).

(c) (p ⇔ r) ⇒ q.

(d) p ⇒∼ (∼ q ⇒ r).

(e) (p∨q) ⇒ r.

(f) p ⇔ (q ⇔ p).
Problema 10. Sabiendo que p es verdadera y que q ⇒ (p ∧ r) es falsa, indique el valor de verdad
de:
(a) p ∧ q.

(b) r ⇒ p.

(c) (p ∧ r) ⇒ m.

(d) (p ∧ r) ∧ t.

(e) r ⇔ [q ∨ (p ∧ r)]

(f) p ∨ (r ∨ t).

(g) ∼ r ∧ [m ∨ (t ∧ r)].
Problema 11. Determine, si es posible, todos los valores de verdad para p, q, r, s y, t de modo que
las siguientes proposiciones sean falsas:
(a) ∼ (t ∧ q) ∨ r.

(b) (t ⇒ q) ∧ (p ⇒ r).

(c) (p ∨ q) ⇔ (r ∨ s).

(d) [(p ∧ q) ∧ r] ⇒ (s ∨ t).

(e) [(p ∧ q) ∧ r] ⇒ (∼ r∨ ∼ t).

UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 4
Problema 12. Encontrar la respuesta a las siguientes cuestiones:
(a) ¿Es la condicional asociativa? En otras palabras, ¿Es

[(p ⇒ q) ⇒ r] ⇔ [p ⇒ (q ⇒ r)]

una tautologı́a?

(b) ¿Es la bicondicional asociativa? Es decir, ¿Será

[(p ⇔ q) ⇔ r] ⇔ [p ⇔ (q ⇔ r)]

una tautologı́a?
Problema 13. ¿Cuáles de las siguientes proposiciones son tautologı́as?
(a) Si 2 + 2 = 4, entonces 5 es impar.

(b) 3 + 1 = 4 y 5 + 3 = 8 implica que 3 + 2 = 5.

(c) 3 + 1 = 4 o 5 + 3 = 7 implica que 3 + 2 = 5.

(d) Rojo es amarillo o rojo no es amarillo.

(e) Rojo es amarillo o rojo es rojo.

(f) 4 es impar o, 2 es par y 2 es impar implica que 4 es impar.

(g) 4 es impar o, 2 es par y 2 es impar implica que 4 es par.

Problema 14. Simbolice: ”Puedes engañar a algunos todo el tiempo, y puedes engañar a todos
algún tiempo; pero no puedes engañar a todos todo el tiempo”.
Problema 15. Sin utilizar tablas de verdad, probar que las siguientes proposiciones son tautologı́as:
(a) p ⇒ (p ∨ q).

(b) ∼ [(p ⇒ q) ∧ (p∧ ∼ q)].

(c) [p ∧ (p ⇒ q)] ⇒ q.

(d) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r).

(e) [(p ⇒ q) ∧ (∼ p ⇒ q)] ⇒ q.

(f) [(p ∨ q)∧ ∼ p] ⇒ q.

(g) (p∧ ∼ p) ⇒ q.

(h) [(∼ p∨ ∼ q) ⇒ (p ∧ q ∧ r) ⇔ (p ∧ q).

Problema 16. ¿Cuáles de las siguientes proposiciones son tautologı́as?
(a) [(p ∧ q) ∨ r]∧ ∼ q.

(b) (p ∨ q) ⇒ (p∧ ∼ q).

UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 5
(c) (∼ p ⇔∼ q) ⇔ (p ⇒ q).

(d) [(∼ p ∧ q) ⇒ (p∨ ∼ q)] ⇔ [p ⇒ (∼ q ∧ p)].

(e) (p ∨ q) ∧ (∼ p∧ ∼ q).

(f) (p ⇒ q) ⇔ (p∧ ∼ q).

(g) (p ∧ q) ⇒ (q ∨ r).

(h) (p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q).

(i) (p ⇒ q) ∨ (p ∨ q).

(j) [(∼ p ∧ q) ∧ (p ⇒ q)] ⇒ (p ∧ q).

(k) [(p ⇒ q) ∧ (∼ p ⇒ q)] ⇒ q.

(l) ∼ [(∼ p ⇒ q) ⇔∼ (p∨ ∼ q)].

(m) p ∨ q ∨ (∼ p∧ ∼ q ∧ r) ⇔ (p ∨ q).

(n) p ∧ [(∼ q ⇒ r)∨ ∼ {q ∨ ((r ∧ s) ∨ (r ⇒ s))}].

Problema 17. Construya demostraciones formales de los siguientes teoremas:

(a)
(1) ∼ p ∨ q
(2) p
∴ q

(b)
(1) p⇒q
(2) r ⇒∼ q
∴ p ⇒∼ r

(c)
(1) ∼ r ⇒∼ q
(2) ∼p∧q
∴ p ⇒∼ r

(d)
(1) p ⇒ (q ∨ r)
(2) q⇒s
∴ p ⇒ (r ∨ s)

(e)
(1) p∨q
(2) q ⇒∼ r
(3) ∼ r ⇒∼ p
∴ ∼ (p ∧ q)
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 6
(f)
(1) p⇒q
(2) ∼ q ⇒∼ r
(3) r ⇒∼ p
∴ ∼p

(g)
(1) p⇒q
(2) ∼ q ⇒∼ r
(3) s ⇒ (p ∨ r)
(4) s
∴ q

(h)
(1) ∼ (q ∨ r) ⇒∼ p
(2) p ⇒∼ q
(3) s ⇒∼ r
(4) p
∴ ∼ s∨ ∼ p

Problema 18. Construya demostraciones formales de los siguientes teoremas:

(a) Si p∨ ∼ q, t ∧ q, t ⇒∼ (∼ s ∧ p); entonces r ∨ s.

(b) Si ∼ (p ⇒∼ q), q ⇒∼ (p∧ ∼ t), r ∨ s; entonces ∼ t ∨ s.

(c) Si p ⇒ q, r ⇒ s, ∼ (p ⇒ s); entonces q∧ ∼ r.

(d) Si p ⇒ q, ∼ r ⇒ s, ∼ q∨ ∼ s; entonces p ⇒ r.

(e) Si p ⇒ (q ∧ r), (q ∨ s) ⇒ t, p ∨ s; entonces t.

(f) Si p ⇒ (q ∧ r), r ⇒ s, ∼ (q ∧ s); entonces ∼ p.

Problema 19. Escriba en lenguaje formal las siguientes inferencias demostrándolas si son válidas
y especificando las reglas de inferencia utilizadas:

(a) Si salgo a la calle me visto. He salido a la calle. Por tanto voy vestido.

(b) La comida incluye el primer plato y el segundo. Por tanto, incluye el primer plato.

(c) Si vale menos de Bs. 100, tengo dinero suficiente. Si tengo dinero suficiente lo compraré. Vale
menos de Bs. 100. Por tanto, lo compro.

(d) Si el mayordomo es el asesino, se pondrá nervioso cuando le interroguen. El mayordomo se

puso muy nervioso cuando le interrogaron. Por lo tanto, el mayordomo es el asesino.

(e) Si las manos del mayordomo están manchadas de sangre, entonces es culpable. El mayordomo
está impecablemente limpio. Por lo tanto, el mayordomo es inocente.

(f) Si a es un número perfecto, entonces a es par y n es un número impar. a es par y n es impar.

Por consiguiente, a no es perfecto.
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 7
(g) Si no hay huelga o el sindicato miente o el ministro tiene la razón. Hay huelga o en caso
contrario el ministro se equivoca. Por lo tanto, el sindicato no miente.

(h) Si José ganó la carrera, entonces Pedro fue el segundo o Ramón fue el segundo. Si Pedro fue el
segundo, entonces José gano la carrera. Si Carlos fue el segundo, entonces Ramón no fue el
segundo. José gano la carrera. Luego, Carlos no fue el segundo.

(i) Mi padre me alaba si yo estoy orgulloso de mı́ mismo. O me va bien en deportes o no puedo
estar orgulloso de mı́ mismo. Si estudio bastante, entonces no me va bien en deportes. Por
tanto, si mi padre me alaba, entonces no estudio bastante.

1.2. Lógica cuantificada.

Problema 20. Negar la siguiente proposición: Todos los estudiantes de esta clase han aprobado
algún examen en marzo.

Problema 21. Escribir en forma simbólica las siguientes proposiciones de tal forma que, al final,
ningún cuantificador esté precedido por una negación:

(a) No todos los españoles son periodistas.

(b) Si algún caminante bosteza, todos los caminantes bostezan.

(c) Todo el mundo conoce a algún abogado.

(d) Entre dos números reales distintos cualesquiera existe algún número racional.

(e) No existe un primo mayor que el resto de los números primos.

Problema 22. Escriba formalmente las siguientes proposiciones, luego determine sus negaciones y
traduzca estas al lenguaje natural.

(a) Si vale menos de Bs. 15, comeré en la cafeterı́a.

(b) Todos los habitantes de Madrid viajan en metro.

(c) Hay personas en todas las ciudades que usan el transporte publico.

Problema 23. Proporcione un contraejemplo para las siguientes afirmaciones:

(a) Todo entero mayor que 17 es el cuadrado de un número entero.

(b) Todo entero mayor que 6 es múltiplo de 2 o de 3.

(c) 100n + 1 > n2 , para todo entero n.

Problema 24. Dado el conjunto A = {1, 3, 5, 7}, determine el valor de verdad de las siguientes
proposiciones:
   
(a) (∃x ∈ A) 4x2 − 19x − 5 = 0 ∧ (∃x ∈ A) x2 = x .

(b) (∃x ∈ A)(2x + 3 = 5x) ∨ (∃x ∈ A)(2x = x).

UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 8
Problema 25. Considere el siguiente predicado:
p(x) : x2 + 1 ≤ 0.
¿Hay algún número real x que lo haga cierto? ¿Algún número complejo?
Problema 26. Considerando los números enteros como universo de discurso, sean los siguientes
predicados: Si
p(x) : x > 0.
q(x) : x es par.
r(x) : x es un cuadrado perfecto.
s(x) : x es divisible por 4.
t(x) : x es divisible por 5.
Escriba en forma simbólica.
(a) Algún entero es par.
(b) Existe al menos un entero positivo y par.
(c) Si x es par, entonces x no es un divisor de 5.
(d) Ningún entero par es divisible entre 5.
(e) Existe al menos un entero par divisible entre 5.
(f) Si x es par y un cuadrado perfecto, entonces x es divisible entre 4.
Problema 27. Traduzca al lenguaje natural.
(a) (∀x)(r(x) ⇒ p(x)).
(b) (∃x)(s(x)∧ ∼ r(x)).
(c) (∀x)(s(x) ⇒∼ t(x)).
Problema 28. Sea N el conjunto de los números naturales y sea P (r, s) el predicado ”r divide a s
”. Determine el valor de verdad de las siguientes proposiciones:
(a) P (2, 3).
(b) P (5, 10).
(c) P (2, 3) ∧ P (5, 10).
(d) P (2, 3) ∨ P (5, 10).
(e) P (2, 3) ⇒ P (5, 10).
(f) P (5, 10) ⇒ P (2, 3).
(g) (∀m ∈ N)(∀n ∈ N)(P (m, n)).
(h) (∃m ∈ N)(∀n ∈ N)(P (m, n)).
(i) (∃n ∈ N)(∀m ∈ N)(P (m, n)).
(j) (∀m ∈ N)(P (m, 1)).
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 9
1.3. Demostraciones.
Problema 29. Demostrar por contradicción: Si m + n es impar, entonces m es impar o n es impar.
Problema 30. Demuestre o refute:
(a) Si x es un entero impar, entonces x3 es impar.

(b) Si x ∈ N, el resto de dividir x2 entre 4 sólo puede tomar los valores 0 o 1.

(c) Si n es un entero natural y 3n + 1 es un cuadrado perfecto, n + 1 es suma de tres cuadrados

perfectos.

(d) Sea x ∈ Z, x es par si, y sólo si x2 es par.

(e) Si x ≥ 0 es un número real tal que para todo número real ϵ > 0 se cumple que 0 ≤ a < ϵ,
entonces a = 0.
√
(f) 2 no es racional.

(g) La suma de tres enteros consecutivos es múltiplo de tres.

(h) El producto de un entero par con un entero impar es par.

(i) La suma de dos números primos nunca es primo.

(j) Si un número real x es racional, entonces π + x no es racional.

Problema 31. Demostrar que:
(a) Si a es un entero impar, entonces a2 + 3a + 5 es impar.

(b) Sumando 1 al producto de cuatro enteros consecutivos da un cuadrado perfecto.

(c) Si n es un número natural y 2n + 1 es un cuadrado perfecto, entonces n + 1 es la suma de dos

cuadrados perfectos. 31. Usando la contrarecı́proca demostrar que: Para todo m, n ∈ Z, si m · n
es impar, entonces ambos m y n son impares.
Problema 32. Sea n un entero. Probar que n es par si, y sólo si 31n + 12 es par.
Problema 33. Un número real r es racional si existen enteros p y q ̸= 0 tales que r = p/q. Por el
método directo, demostrar que:
(a) Si r y s son racionales, entonces r + s es racional.

(b) Si r es un número racional, entonces rs es racional.

(c) Si r es un número racional no nulo, entonces r−1 es racional.

Problema 34. Sean m y n números enteros. Realizando una demostración directa demostrar que:
(a) Si n es impar, entonces n3 es impar.

(b) Si n es impar, entonces n2 + 3n + 5 también es impar.

(c) Si n es par y m es impar, entonces n + m es impar.

UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 10
(d) Si n y m son pares, entonces nm es par.

(e) Si n y m son impares, entonces el producto nm también es impar.

Problema 35. Un entero a divide al entero b (denotado a | b) si b = ka para algún entero k. Si

a, b, c y n son números enteros, entonces demuestre:

(a) Si a | b y a | c, entonces a | (b + c).

 
(b) Si a | b, entonces a | 3b3 − b2 + 5b .
 
(c) Si n es impar, entonces 4 | n2 − 1 .

(d) n2 + 3n + 4 es par.
 
(e) 4 | n2 o 4 | n2 − 1 .

Problema 36. Aplicando la forma contrarrecı́proca de una implicación, probar que:

(a) Si n2 es impar, entonces n es impar.

(b) Si a ∤ bc, entonces a ∤ b.

(c) Si 4 ∤ a2 , entonces a es impar.

Problema 37. Demostrar que los siguientes predicados son falsos:

(a) ∀n ∈ N : 2n2 − 4n + 31 es primo.

(b) ∀n ∈ N : n2 + 17n + 17 es primo.

1.4. Miscelanea.
Problema 38. Determinar el valor de verdad de cada una de las siguientes proposiciones:

(a) sin2 (θ) + cos2 (θ) = 1 y cos(π) = −1.

π
 
(b) sin = 0 ó cos(π) = 0.
2
1
(c) Si sin(45◦ ) = 1 y cos(45◦ ) = 1, entonces se tiene que tan(30◦ ) = .
2
√ √ 1 1
(d) 2 < 3 si, y sólo si, < .
2 3
Problema 39. Demostrar que:

(a) Si x es impar, entonces x + 1 es impar.

(b) Si x = 2, entonces x2 > 3.

(c) Si x = 2, entonces x2 − 2x = −1.

√
(d) x2 = x si, y sólo si x ≥ 0.
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 11
Problema 40. Sean p y q proposiciones. La disyunción exclusiva de p y q, denotada por p∨q es
falso si p y q (ambos) tienen el mismo valor de verdad, en otros casos es verdadero. Construir la
tabla de verdad de:

(a) p∨q.

(b) (p∨q)∨r.

(c) p∨(q ⇒ r).

(d) Demostrar que p∨q ≡ (p ∨ q)∧ ∼ (p ∧ q).

(e) Simplificar p∨p.

(f) Es(p∨q)∨r ≡ p∨(q ∨ r) ? Demostrar o dar un contraejemplo.

(g) ¿Será p ∧ (q∨r) es equivalente a (p ∧ q)∨ (p ∧ r) ? Justifique su respuesta.

Problema 41. Encuentre la negación de las siguientes proposiciones:

(a) ((p ∧ q) ⇒ r) ⇔ s.

(b) ((p ⇔ r) ⇔ s) ⇔ t.

Problema 42. Sea x ∈ R. Encuentre la negación de las siguientes proposiciones:

(a) x ̸= 2.

(b) |x| ≤ 2.

(c) 2 ≤ |x| < 4.

(d) 2 ≤ x < 3.

Problema 43. Demostrar que:

(a) ∼ (p ⇒ q) ̸≡∼ p ⇒∼ q.

(b) p ⇔ q ≡∼ p ⇔∼ q.

Problema 44. Sea t una tautologı́a y c una contradicción. Demostrar que las siguientes afirmaciones
son tautologı́as:

(a) p ⇒ p ∧ t.

(b) c ⇒ p.

(c) p ⇔ (p ⇔ p).

(d) c ⇔ (p∧ ∼ p).

Problema 45. Construir la tabla de verdad de la proposición (p ∨ q) ∧ (∼ p∧ ∼ q). Determinar si

esta proposición es una tautologı́a, contradicción o contingencia.

Problema 46. Si p y q son proposiciones verdaderas y r es falsa, determine el valor de verdad de:
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 12
(a) p ⇒ (q ⇒ r).

(b) [(∼ p ∨ q) ∧ (r∨ ∼ p)] ⇔ q.

(c) [(∼ p ∧ q) ∨ r] ⇒ q.

(d) [(p ⇔∼ q) ⇒∼ r] ∨ (∼ q ⇔ r).

Problema 47. Que valores de verdad deben tener p, q y r para que sea:
(a) (p ⇒ q) ∨ (p ⇔ r) falsa.

(b) [(q ⇔ p)∧ ∼ r] ⇔ r verdadera.

(c) p ∧ (p ∨ q) ∧ (p ⇔ q) verdadera.

(d) [(∼ p ⇒ q) ⇒∼ r] ∨ (∼ q ⇒ r) falsa.

(e) (p ⇔∼ q) ∧ (q ⇒ r) falsa.
Problema 48. Se sabe que la proposición:

[(p ∨ q) ∧ p] ⇒ [(r ∨ q) ⇔ p]

es falsa. Determinar el valor de verdad de la proposición:

[(p∨ ∼ q) ⇒ (r ∧ p)] ⇔ [∼ q ∧ (r ∨ p)].

Problema 49. Determinar cuales de los siguientes enunciados son una tautologı́a, contradicción o
contingencia:
(a) p ∧ q ⇒ q.

(b) q ⇒ p ∧ q.

(c) p ∧ q ⇒∼ p.

(d) (p ⇔ q) ⇔ (q ⇔ p).

(e) (p ⇔∼ p) ∧ q.

(f) (p ⇒ q) ⇔ [(p ⇒∼ q) ⇒∼ p].

Problema 50. Mediante el álgebra de proposiciones, demuestre que:
(a) (p ∨ q)∧ ∼ p ≡∼ p ∧ q.

(b) ∼ (p ∨ q) ∨ (∼ p ∧ q) ≡∼ p.

(c) p ⇒ (q ⇒ r) ≡ (p∧ ∼ r) ⇒∼ q.

(d) p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r).
Problema 51. Demostrar las reglas de inferencia:
(a) Silogismo disyuntivo.
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 13
(b) Modus Tollendo Tollens (MTT).

(c) Silogismo hipotético (SH).

Problema 52. Construya demostraciones formales de los siguientes teoremas:

(a)
(1) p⇒q
(2) ∼p⇒r
∴ q∨r

(b)
(1) ∼ (r ∧ s)
(2) ∼ s ⇒∼ q
∴ r ⇒∼ q

(c)
(1) p∧t
(2) p⇒q
(3) q ⇒ (r ∧ s)
(4) ∼ r∨ ∼ t ∨ w
∴ w

(d)
(1) p∨q
(2) ∼p∨r
(3) ∼r∨s
q∨s

(e)
(1) p⇒q
(2) ∼ r∨ ∼ q
(3) r
∴ ∼p

(f)
(1) p ⇒∼ q
(2) q∨ ∼ r
(3) p∧s
(4) t ⇒ (r ∧ s)
∴ ∼t

(g)
(1) p ⇒ (p ⇒∼ q)
(2) q∨ ∼ r
(3) p
(4) s⇒r
∴ s⇒t
UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 14
(h)
(1) p∨ ∼ q
(2) (t ∨ s) ⇒ (p ∨ r)
(3) ∼r∨t∨s
(4) p ⇔ (t ∨ s)
∴ (p ∨ r) ⇒ (q ∨ r)

Problema 53. Simbolizar los siguientes razonamientos y demostrar que la conclusión es una
consecuencia lógica.

(a) Si 2 es mayor que 1, entonces 3 es mayor que 1. Si 3 es mayor que 1, entonces 3 es mayor que 0.
2 es mayor que 1. Por tanto, 3 es mayor que 0.

(b) Si se levanta aire húmedo, entonces refrescará. Si refresca, entonces se formarán nubes. Se
levanta aire húmedo. Por tanto, se formarán nubes.

Problema 54. Dados los conjuntos A = {1, 2, 3/2} y B = {3, 4, 3/2}, determinar el valor de
verdad de:

(a) ∃x ∈ N : x ∈ A ∧ x ∈ B.

(b) ∃x ∈ Q : x ∈ A ∧ x ∈ B.

Problema 55. Determinar el valor de verdad de los siguientes predicados y escribir su negación:

(a) ∀x ∈ R : x > 1 ⇒ x > 3.

(b) ∃x ∈ Z : x2 − 6x + 8 < 0.

(c) ∃x ∈ Z : x2 − 3x + 2 < 0.

(d) ∀x ∈ R, ∃y ∈ R : x + y = 0.

(e) ∀n ∈ N : 4n2 + 4n + 3 ≥ 0.

(f) ∀n ∈ N : 9n2 + 6n − 15 > 0.

(g) En cualquier triángulo, la suma de sus ángulos internos es igual a 180◦ .

(h) ∀x, y, z ∈ R : x + y + z = 0 ⇔ (x = 0 ∧ y = 0 ∧ z = 0).

(i) ∃n ∈ N : 4n2 + 12n − 41 < 0.

(j) ∀x ∈ Z : x2 + 1 ≥ 0.

(k) ∃x ∈ Z : x2 − 1 ≥ 0.

(l) ∀x ∈ Z, ∃y ∈ N : x + y = 0.

(m) ∃x ∈ Z, ∃y ∈ N : x + y = 0.

Problema 56. Determinar la negación de los siguientes predicados:

(a) ∃x : P (x)∨ ∼ Q(x).

UMSA - FCPyN - Estadı́stica e Informática - Álgebra - Práctica General 15
(b) ∀x : P (x) ⇒ Q(x).

(c) ∀x, ∀y : P (x) ∧ P (y) ⇒ x = y.

Problema 57. Sea P (x, y) : x < 2 ⇒ y > 3, donde x, y ∈ R. Determinar el valor de verdad de los
siguientes predicados:

(a) P (2, y) ⇒ [P (1, 2) ⇒ P (x, 4)].

(b) P (1/2, 1) ⇔ [P (x, 4) ∨ P (−1, 5)].