Universidad San Sebastián

Facultad de Ingenierı́a y Tecnologı́a

05/04/2010 D. Inzunza H.

Álgebra (INGE0001)
Listado 1 - Lógica Matemática

1. Indicar cuál(es) de los siguientes enunciados corresponden a proposiciones:

a) 2 + 2 = 5
b) 1 + 2 + 3 + ... + 15 = 120
c) x2 + 1 < 10
d ) x2 + 2x + 4 > 0
e) ¡Hola que tal!
f ) La cartelera de cine.
g) No todos los hombres son inmortales.
h) Hoy hace frı́o.
i ) Ayer estuvo nublado.
j ) Existen los extraterrestres.
k ) Es divertido faltar a clases.
l ) Carlos Santana es un buen guitarrista.
m) ¡Que pocos ramos tiene el primer semestre!

2. En los siguientes ejercicios diga, en cada caso, si el enunciado es o no una proposición.

En caso afirmativo, diga su valor de verdad.

a) Julio César fue presidente de Chile.

b) 2 + 2 = 4.
c) Si la tierra es plana, entonces 2+2=4.
d ) ¿En tu casa o en la mı́a?
e) ¡Ayudeme, por favor!
f ) La matemática es importante.
g) Existen dos soluciones para la ecuación x2 + 4 = 20, y ambas soluciones son
enteras.
h) Si x es cualquier número entero, entonces x2 es un número entero positivo.
i ) Vé en su casa.
j ) x es mayor que y.
k ) 15 es un número primo.

1
 l ) a + b = 17.
m) La población de Chile es de siete millones.
n) Las mesas son cuadradas.
ñ) ¿Bello dı́a?

3. En los siguientes problemas, escriba cada una de las proposiciones dadas en forma
simbólica.

a) Luis es estudiante y Juan es zapatero.

b) El domingo es un dı́a feriado o José ha sido expulsado.
c) Si 2 + 2 = 4, entonces 3 + 3 = 8.
d ) O 3 + 4 = 7 o la Tierra es plana.
e) Antonio es hijo de Luis si, y sólo si Luis es el padre de Antonio.

4. Sean las proposiciones p : El número 9 es divisor de 576 y q : El número 792 es

múltiplo de 6, escribir con palabras:

a) ∼ p d) p → q g) p ↔∼ q
b) p ∨ q e) ∼ p → q h) ∼ (p ↔ q)
c) p ∧ q f) ∼ p ↔ q i ) p∧ ∼ q

Luego, determinar el valor de verdad de cada una de las proposiciones anteriores.

5. Confeccionar la tabla de verdad para las siguientes proposiciones:

a) ∼ p e) ∼ p → q i ) p∧ ∼ q
b) p ∨ q f) ∼ p ↔ q j ) (p ∨ q) → p
c) p ∧ q g) p ↔∼ q k ) (∼ p ∨ q) →∼ p
d) p → q h) ∼ (p ↔ q) l ) ∼ (p ∨ q) → q

6. Decidir si las siguientes proposiciones corresponden o no a Tautologı́as:

a) (p ∨ q) → q c) [p ∨ (p ∧ q)] ↔ p
b) ∼ (p∨ ∼ q) →∼ q d ) [(∼ p ∨ q) →∼ p] → [∼ (p ∨ q) → q]

7. Considerar las proposiciones p : 3+5=8, q : 4+6=10, r : 5·3=15 y r : 3·1=1. Hallar

el valor de verdad para cada una de las proposiciones siguientes:

a) (p ∨ q) → q d ) ∼ (r ↔ s)
b) ∼ (p∨ ∼ q) →∼ r e) [p ∨ (q ∧ r)] ↔ s
c) p ↔∼ s f ) [(∼ s ∨ p) →∼ r] → [∼ (p ∨ q) → p]

2
 8. Hallar las afirmaciones recı́proca, contraria y contrarrecı́proca para cada una de las
siguientes afirmaciones dadas:

a) Si dos rectas son paralelas a una misma recta, entonces ellas son paralelas.
b) Dos triángulos que tienen ángulos y lados homólogos iguales son semejantes.
c) Todo número divisible por 3 es un múltiplo de 6.
d ) Los profesores de Matemática chilenos no son muy buenos, es por eso que
los estudiantes no llegan con una buena base para estudiar Álgebra y Cálculo
cuando ingresan a la Universidad.
e) Ningún equipo de fútbol en Chile es realmente profesional, por eso ninguno ha
ganado la Copa Intercontinental.
f ) Como los asesinos en serie son inteligentes, la policı́a no los captura fácilmente.
g) Desde la edad pre-escolar en Finlandia los estudiantes tienen entre sus activi-
dades extraprogramáticas talleres de guitarra, por esta razón en ese paı́s hay
muchos grupos de Rock.
h) Si un punto P está fuera de la recta L1 , entonces existe solamente una recta
L2 que es paralela a L1 .
i ) Si f (a) = f (b) entonces a = b.
j ) Si el recorrido de una función es igual a su codominio entonces ella es sobreyec-
tiva.
k ) Si alguien logra demostrar la conjetura de Golbach ganará mucho dinero.

9. Dadas las proposiciones p : Los números x e y son múltiplos de 3 y q : El producto de

los números x e y es un múltiplo de 3. Analizar cúales de las siguientes proposiciones
son verdaderas:

a) p es condición suficiente para q.

b) p es condición necesaria para q.
c) p si y sólo si q.

10. Considerar la siguiente aseveración: Esta es una aseveración falsa. ¿Es ella una
proposición? ¿Por qué?

11. De entre tres estudiantes solamente uno estudia Lógica. Si la estudia el primero,
también lo hace el tercero, pero no es cierto que si la estudia el segundo, lo hace
también el tercero. ¿Quién estudia Lógica?

12. Los alumnos Aravena, Arros, Escalona y Ferreira ocuparon en la olimpiada de

Matemática los cuatros primeros lugares. Cuando les preguntaron acerca de la dis-
tribución de los lugares dieron las tres siguientes respuestas:

a) Ferreira: primero; Arros: segundo

b) Ferreira: segundo; Aravena: tercero

3
 c) Escalona: segundo; Aravena: cuarto

¿Cómo se distribuyeron los lugares si en cada una de las respuestas sólo una de las
afirmaciones es correcta?

13. Al señor Flores se le dice lo siguiente: Se sabe que si Martinez no es alumno de

Universidad San Sebastián o Medina es alumno de la Universidad San Sebastián,
entonces Medina es alumno de la Universidad del Desarrollo; y además que, si Mar-
tinez es alumno de la Universidad San Sebastián y Medina no es alumno de Uni-
versidad del Desarrollo, entonces Medina es alumno de la Universidad San Sebastián.

Luego, se le pregunta ¿En qué universidad estudia Medina?. Si Flores respondió cor-
rectamente, ¿Cuál fue se respuesta?

14. Decidir si las proposiciones [(p → q) → r] y [(p ∨ q) ∧ (∼ q ∨ r)] son o no equiva-

lentes.

15. Demostrar que {∼ [∼ (p ∧ q) →∼ q] ∨ q} ↔ q es una tautologı́a.

16. Sabiendo que (p → q) ∨ r es falsa, encontrar el valor de verdad de la proposición

[(p → q) ↔ r] ↔ [p ↔ (q ↔ r)].

17. Sabiendo que la proposición (q∧ ∼ p) → [(p ∧ r) ∨ t] es falsa, determinar el valor de

verdad de las proposiciones p, q, t y ∼ [(∼ p∨ ∼ q) → (r∨ ∼ t)].

18. Sean p y q dos proposiciones simples y sea ↓ un conectivo lógico tal que p ↓ q tiene
el mismo valor de verdad que ∼ p∧ ∼ q.

a) Construir la tabla de verdad para p ↓ q.

b) Demostrar que (∼ p ↓ q) ∨ (∼ q ↓ p) es lógicamente equivalente a ∼ (p ↔ q).

19. Sea . el conectivo definido por la siguiente equivalencia lógica

(p . q) ⇔ [∼ (p → q)] .

Demostrar que p . (p . q) ⇔ p ∧ q.

20. Sea ∗ el conectivo definido por la siguiente equivalencia lógica

p ∗ q ⇔ [(p∧ ∼ q) ∨ (∼ p ∧ q)] .

Demostrar que [p ∗ (p ∗ q)] ⇔ q.

21. Confecciones las tablas de verdad de las siguientes propsiciones:

a) (p ∧ q) → r.
b) ∼ (p ∨ q) → (∼ p ∧ ∼ q).

4
22. Sabiendo que p∨q es verdadero y que ∼ q es verdadero, determine el valor de verdad
de,
[(p ∨ q) ∧ ∼ q] → q

23. Determine, en cada caso, si la información que se da es suficiente para conocer el

valor de verdad de las siguientes propsiciones compuestas:

a) (p → q) → r; r es verdadera.
b) (p ∨ q) ↔ (∼ p∧ ∼ q); q es falsa.
c) (p ∧ q) → (p ∨ r); p es verdadera y q es falsa.
d ) p ∧ (q → r); p → r es verdadera.

24. Los valores de p, q, r y s son respectivamente V, F, F y V. Obtener los valores de

verdad de:

a) [(p ∨ q) ∨ r] ∧ s.
b) r → (s ∧ p).
c) (p ∨ r) → (r ∧ ∼ s).

25. Si la proposición (∼ p ∧ q) → (∼ s ∨ r) es falsa, de las siguientes proposiciones ,

¿cuáles son verdaderas?

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

26. Determine si las siguientes proposiciones compuestas son Tautologı́as, Contingencias

o Contradicciones:

a) [(p → q)∧ ∼ q] →∼ p.
b) (p → q) → [(p ∧ r) → (q ∧ r)].
c) [∼ p → (q ∨ r)] ∧ [(p ↔∼ r) → q].
d ) ∼ (∼ p →∼ q) → (∼ p ∧ q).
e) [(p → q) → r] → [(p →∼ r) →∼ q].
f ) ∼ [(a ∨ b) → (∼ a ∧ b)] ↔ b.
g) (∼ p ∨ r) ↔ [(p → q) → r].
h) ∼ [(p → q) ∧ (∼ q → p)] → (p ∧ q).
i ) [∼ a ↔ (b ∨ c)] ∧ [(a ∨ b ∨ c) → ((b ∨ c) ∧ a)].
j ) [(p → q) ∨ (∼ p ∨ r)] → (∼ q ∧ ∼ r).
k ) [p ∨ (q∧ ∼ q)] → p.
l ) [(p → q) ∧ (p → r)] → (p → r).
m) [(p ∨ q) →∼ r] → [(∼ p ∧ r) →∼ q].

5
 n) ∼ [p → (p∧ ∼ q)] ↔ (q ∧ p).
ñ) ∼ [∼ (a ↔ b) ↔ (∼ a ↔ b)].
o) (p ∧ q) →∼ [p → (q∧ ∼ r)].

27. Determine el valor de verdad de p, q, r en cada una de las siguientes proposiciones

compuestas, conocido su valor de verdad.

a) [(p ↔ q) ↔ (p ∨ r)] ∧ ∼ [p → (q ∧ r)] es verdadera.

b) [(p ∨ q) ∧ (p → r)] → [(p ∧ q) ∨ (q → r)] es falsa.
c) ∼ [p ∧ (q ↔ r)] ∨ [(p ∨ q) →∼ (p ∧ r)] es falsa.
d ) [(p ∧ q) → (p ∧ r)] ∨ (p → r) es falsa.
e) ∼ (p → q) ∧ (r ∨ q) es verdadera.
f ) [(p ∨ q) ∧ p] → [(r ∨ q) ↔ p] es falsa.

28. Si la proposición (a ∧ ∼ b) → (b ∨ c) es falsa. Determine el valor de verdad de la

proposición
∼ [ (c ∧ ∼ a) ↔ (b ∨ a) ] ∧ c

29. Construya la tabla de verdad de cada una de las proposiciones dadas.

a) ∼ (p ∧ q).
b) ∼ p∨ ∼ q.
c) (p → q) → [(p∨ ∼ q) → (p ∧ q)].
d ) [(p ∨ q) ∧ r] → (p∧ ∼ q).
e) Escriba en forma simbólica el enunciado:Un número p es real y no racional
siempre que p sea un irracional, y construya su tabla de verdad.

30. Considere la proposición,

[(∼ p ∧ q) ∨ (p ∨ r)] → [(p∨ ∼ q) ∨ (p∨ ∼ r)]

Analice el valor de verdad de esta proposición para cada uno de los casos dados.

a) p es falso, q es falso, r es falso.

b) p es falso, q es falso, r es verdadero.
c) p es verdadero, q es falso, r es verdadero.
d ) p es verdadero, q es verdadero, r es falso.
e) p es verdadero, q es verdadero, r es verdadero.

31. Clasifique cada una de las proposiciones dadas como contingencia, tautologı́a o con-
tradicción.

a) p∨ ∼ (p ∧ q).

6
 b) (p ∧ q)∧ ∼ (p ∨ q).
c) (p ∧ q) ∨ (p ∨ q).
d ) [p ∧ (q ∨ r)] ∧ [q ∧ (p ∨ r)].
e) (p → q) ↔ (∼ q →∼ p).

32. Utilizando tablas de verdad, demuestre las siguientes equivalencias:

a) (p → q) ⇔ (∼ p ∨ q).
b) (p → q) ⇔ (∼ q →∼ p).
c) ∼ (p → q) ⇔ (p ∧ ∼ q).
d ) (p ↔ q) ⇔ (p → q) ∧ (q → p).
e) (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r).
f ) p → (q ∧ r) ⇔ (p → q) ∧ (p → r).

33. Niegue las proposiciones del ejercicios anterior.

34. Niegue los siguienes enunciados:

a) (∃x)(∀y)(p(x, y) → q(x, y)).

b) (∀x)(∼ p(x) ∧ q(x)).
c) (∃y : p(y)) → (∀x : ∼ p(x)).
d ) (∃y : p(y)) → (∀x : ∼ p(x)).

35. Enuncie la proposición recı́proca, la contra-recı́proca y la contraria de cada uno de

los siguientes condicionales y determine su validez:

a) (a = 2 ∧ b = 5) → (ab = 10).
b) Si dos rectas de un plano son paralelas, entonces las rectas no se cortan.
c) Si dos triángulos son congruentes, entonces las medidas de los ángulos corre-
spondientes son iguales.
d ) (a = 2 ∧ b = 5) → (a + b = 8).
e) (ab = 0) → (a = 0 ∨ b = 0).

36. Escriba las siguientes proposiciones en forma simbólica, niéguelas y luego escriba
estas negaciones en lenguaje común:

a) Todo número real se puede escribir en forma decimal.

b) Dado cualquier número real positivo, hay un número natural que es mayor que
él.
c) Existen números reales que elevados al cubo son iguales al doble del número.
d ) El cuadrado de todo número real es positivo o cero.
e) Existe al menos un número real tal que su raı́z cuadrada no es cero.

7
 f ) Para todo par de números naturales su suma es natural.

37. Escriba las implicaciones recı́proca, contraria y contra-recı́proca de:

q√
√

3
3 4 2
[3 > 7 ∨ 1 ≤ 2] ⇒ 2 = 2 ∧ 2 =4

38. Simplifique (utilizando propiedades) las siguientes proposiciones:

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

39. Confecciones las tablas de verdad de las siguientes propsiciones:

a) (p ∧ q) → r.
b) ∼ (p ∨ q) → (∼ p ∧ ∼ q).

40. Sabiendo que p∨q es verdadero y que ∼ q es verdadero, determine el valor de verdad
de,
[(p ∨ q) ∧ ∼ q] → q

41. Determine, en cada caso, si la información que se da s suficiente para conocer el

valor de verdad de las siguientes propsiciones compuestas:

a) (p → q) → r; r es verdadera.
b) (p ∨ q) ↔ (∼ p∧ ∼ q); q es falsa.
c) (p ∧ q) → (p ∨ r); p es verdadera y q es falsa.
d ) p ∧ (q → r); p → r es verdadera.

42. Los valores de p, q, r y s son respectivamente V, F, F y V. Obtener los valores de

verdad de:

a) [(p ∨ q) ∨ r] ∧ s.
b) r → (s ∧ p).
c) (p ∨ r) → (r ∧ ∼ s).

43. Si la proposición (∼ p ∧ q) → (∼ s ∨ r) es falsa, de las siguientes proposiciones ,

¿cuáles son verdaderas?

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

44. Niegue las siguientes proposiciones:

√
a) (∀x)(x ≥ 0 → x ∈ R).
b) (∃x ∈ N)(x + 2 6= 5) ∧ (∀x ∈ N)(x2 ≥ x).

8
 c) (∃x)(∃y)(x2 + y 2 < 0).

45. Determine si las siguientes proposiciones compuestas son Tautologı́as, Contingencias

o Contradicciones:

a) [(p → q)∧ ∼ q] →∼ p.
b) (p → q) → [(p ∧ r) → (q ∧ r)].
c) [∼ p → (q ∨ r)] ∧ [(p ↔∼ r) → q].
d ) ∼ (∼ p →∼ q) → (∼ p ∧ q).
e) [(p → q) → r] → [(p →∼ r) →∼ q].
f ) ∼ [(a ∨ b) → (∼ a ∧ b)] ↔ b.
g) (∼ p ∨ r) ↔ [(p → q) → r].
h) ∼ [(p → q) ∧ (∼ q → p)] → (p ∧ q).
i ) [∼ a ↔ (b ∨ c)] ∧ [(a ∨ b ∨ c) → ((b ∨ c) ∧ a)].
j ) [(p → q) ∨ (∼ p ∨ r)] → (∼ q ∧ ∼ r).
k ) [p ∨ (q∧ ∼ q)] → p.
l ) [(p → q) ∧ (p → r)] → (p → r).
m) [(p ∨ q) →∼ r] → [(∼ p ∧ r) →∼ q].
n) ∼ [p → (p∧ ∼ q)] ↔ (q ∧ p).
ñ) ∼ [∼ (a ↔ b) ↔ (∼ a ↔ b)].
o) (p ∧ q) →∼ [p → (q∧ ∼ r)].

46. Simplifique usando propiedades de las proposiciones:

a) (∼ p ↔ q)∨ ∼ q.
b) q → [∼ p → (p ∨ q)].
c) ∼ [(∼ p → q)∧ ∼ (p ∨ q)] ∧ p.
d ) ∼ (p → q) ∨ q.
e) ∼ [∼ (p ∧ q) ∧ (∼ p ∨ q)].
f ) (p ↔∼ q) ∨ q.
g) p ∧ [∼ (p ∨ q)∨ ∼ (∼ q ∨ p)].
h) ∼ p → [q → (p →∼ q)].
i ) (∼ p∨ ∼ q) ∨ (p ∧ ∼ q).
j ) q∧ ∼ [(p ∧ q) → (p∨ ∼ q)].
k ) (p ↔ q)∨ ∼ (p ↔∼ q).
l ) ∼ [(b ∧ ∼ b) ∧ ∼ (a ∧ c)] ∨ (a∨ ∼ a).
m) ∼ [a → (a ∧ ∼ b)] ∨ b.

9
 n) [(∼ p ∧ q) → (p ∧ q)] ∧ q.
ñ) ∼ [(p ∧ q) → (∼ p ∨ q)].

47. Considere la tautologı́a V y la contradicción F y sea p una propsición simple. Con-

struya la tabla de verdad de p ∧ V y p ∨ F ¿que se puede decir de las tablas respecto
de p?

10