UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIERIA

CENTRO DE DOCENCIA DE CIENCIAS BÁSICAS PARA INGENIERÍA.

Guı́a Logica y Conjuntos

Álgebra e Introducción al Cálculo: BAIN 068
Docente: Felipe Tauler Cortez
Logica

1. Sean p, q y r proposiciones. Construir una tabla de verdad para las siguientes proposiciones
(a) p ∨ p ∨ p
(b) p ∧ p ∧ p
(c) p ∧ (p ∨ p)
(d) (p ∧ p) ∨ p
(e) (p ∨ p) ∧ p
(f) (p ∨ q) → r
(g) p ∨ (q → r)
(h) [(p → q) ∧ p] → q (Modus Ponendo Ponens)
(i) [(p → q) ∧ q] → p (Modus Tollendo Tollens)
(j) [(p ∨ q) ∧ p] → q (Modus Tollendo Ponens)
(k) [(p → q) ∧ (q → r)] ∨ (p → r)
(l) p → (p ∨ q) → (p ∧ q)
2. Sean p, q y r proposiciones. Pruebe, usando una tabla de verdad y ademas un proceso de reducción,
que las siguentes proposiciones son tautologias.
(a) [(p → q) ∧ p] → q
(b) [(p → q) ∧ q] → p
(c) [(p ∨ q) ∧ p] → q
(d) (p → q) → [(q ∧ r) → (p ∧ r)]
(e) [(p → q) ∧ (q → r)] → (p → r)
3. Reduzca las siguientes proposiciones
(a) [(p ∧ q) → (r ∧ r)] ∧ q
(b) (p ∧ q) → (q → p)
(c) [(p ∧ q) → q] ∨ p
(d) [p ∧ r] ∨ [q → (p ∧ r)]
4. Sea p, q y r proposiciones. Resuelva las siguientes ecuaciones
(a) [(p ∧ q) ↔ p] ≡ F
(b) [(p ∧ q) ↔ p] ≡ V
(c) [(p → q) ∧ p] → q ≡ F
(d) [(p → q) ∧ p] → q ≡ V
(e) [(r ∨ q) → (r → q)] ≡ V
5. Sean p, r, s proposiciones y (p → q) ∨ (r → s) ≡ F , determine el valor de verdad de la proposición
(p → q) → [(p ∨ q) ∧ q].
6. Pruebe las siguientes equivalencias
(a) p ∨ q ∨ (p ∧ q) ≡ p
(b) q → p ≡ p → q
 (c) (p ∨ q) → r ≡ (p → r) ∧ (q → r)
7. ¿Son las proposiciones (p → q)∨(q → r) y p → r equivalentes?. ¿Qué puede decir respecto al argumento
cuyas premisas son p → q y q → r y cuya conclusión es p → r?.
8. Sean p, q, r proposiciones y las premisas p → q; q → r; r. ¿Es q ∨ p conlusión de las premisas?.
9. Determine si las proposiciones “Es necesario entrenar debidamente y no cometer infracciones para
cumplir un buen papel deportivo” es equivalente a la proposición “No cumplir un buen papel deportivo,
o entrenar debidamente y no cometer infracciones”.
10. Formalice y determine si los siguientes argumentos son validos o no. Justifique.
(a) “Si x = 1 e y = 2, entonces z = 3. Si para y = 2 se tiene z = 3, entonces w = 0. Si x = 1 por lo
cual w = 0”.
(b) “Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir. Si nos quedamos a
cenar o a dormir no iremos maãna al concierto, pero si iremos maãna al concierto. Por lo cual,
la tormenta no continúa”.
(c) “Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida está llena de frustraciones
y no es un camino de rosas. Si se es feliz, no se puede ser rico. Por consiguiente, la vida está
llena de frustraciones”.
(d) “Si Elvira opina que hay que hacer lo posible para ser feliz, abandonará a su amante o se dedicará
a su profesión. Si se dedica a su profesión, no dejará a su marido. En conclusión, si Elvira opina
que hay que hacer lo posible para ser feliz, entonces, dejará su marido aunque no abandone a su
amante”.
(e) “Si los astrónomos observan un nuevo planeta con atmósfera fuera de nuestro sistema solar, la
Tierra no será el único planeta habitable en el Universo. O la Tierra no es el único planeta
habitable o hay sistemas inexplorados. Por tanto, o los astrónomos no observan un nuevo planeta
con atmósfera, fuera de nuestro sistema solar, o la Tierra es el único planeta habitable en el
Universo”.
11. Considere el siguiente hecho policial.

Durante una investigación de asesinato, se han reunido las siguientes pistas:

(a) si el cuchillo está en el almacén, lo vimos cuando limpiamos
(b) el asesinato se cometió en el sótano o dentro del departamento
(c) si el asesinato se cometió en el sótano, entonces el cuchillo está en el contenedor de polvo amarillo
(d) no vimos un cuchillo cuando limpiamos el almacén
(e) si el asesinato se cometió fuera del edificio, entonces no podemos encontrar el cuchillo
(f) Si el asesinato se cometió dentro del departamento, entonces el cuchillo está en el almacén.
La pregunta es: ¿Dónde está el cuchillo?

Cuantificadores

1. Considere el conjunto M = {−2, −1, 0, 1, 2} y la función proposicional p(x, y) : 2x + y − 3 = 0 → x =

2 − |y| definida sobre M 2 . Determine el conjunto N = {(x, y) : p(x, y)}.
2. Considere las siguientes funciones proposicionales sobre R2 , p(x, y) : x + y ≥ 1, q(x, y) : |x| + |y| = 1 y
r(x, y) : y = |x|. Grafique los conjuntos
(a) A = {(x, y) : p(x, y)}
(b) B = {(x, y : q(x, y))}
(c) C = {(x, y) : q(x, y) ∧ r(x, y)}
3. Considere el conjunto M = {1, 2, 3, 4}. Determine el valor de verdad para las proposiciones siguientes.
(a) (∀x ∈ M )(x2 + 1 > 2)
(b) (∀x ∈ M )(x2 + 1 > 2 ∨ x + 1 = 2)
(c) (∀x ∈ M )(x2 + 1 > 2 → x + 1 = 2)
 (d) (∃x ∈ M )(x2 + 1 ≥ 2 → x + 1 = 2)
4. Obtenga la negación para cada una de las proposiciones dadas en el ejercicio anterior.
5. Considere los conjuntos A = {−1, 1, 2} y B = {− 12 , 1, 2}. Determine el valor de verdad para las
proposiciones
(a) (∃x ∈ A)(x2 < 4) → (∀x ∈ A)(x = 2)
(b) (∀x ∈ A)(∃y ∈ B)(xy < 0 ∨ x > y)
(c) (∃x ∈ A)(∀y ∈ B)(xy < 0 ∨ x > y)
6. Obtenga la negación para cada una de las proposiciones dadas en el ejercicio anterior.
7. Considere el conjunto A = {1, 2, 3, 4, 5} y las proposiciones p : (∃x ∈ A)(x + 2 = 6 → x − 5 = 8),
q : (∀x ∈ A)(x + 2 > 2 ∨ x + 2 < 2), r : (∀x ∈ A)(∃y ∈ A)(x + y > 2). Determine el valor de verdad de
la proposición [(p → q) ∧ (q ∨ r)].
8. Considere las funciones proposicionales sobre R, p(x) : x − 3 > |x| y q(x) : x − 3 < |x|. Determine el
valor de verdad de la proposición (∃x ∈ R)(p(x)) ↔ (∀x ∈ R)(q(x)).
9. Formalice y luego prueba veracidad de la proposición “Para todo número racional existe un único
número entero n tal que n ≤ r < n + 1”. Para ello ocupe la Propiedad Arquimediana de los números
reales.

Conjuntos

1. Represente gráficamente los siguientes conjuntos

(a) A = {(x, y) : y = mx + b, b ∈ R}, con m ∈ R,
(b) A = {(x, y) : y = mx + b, m ∈ R}, con b ∈ R,
(c) A = {(x, y) : x2 + y 2 = 1, (x − 1)2 + y 2 = 1}
(d) A = {(x, y) : |x| + |y| ≥ 1} ∩ {(x, y) : y ≥ x}
(e) A = {(x, y) : x2 + y 2 ≤ 1, y ≤ |x|}
2. Sean A, B, C conjuntos. Demuestre que
(a) ∅ ⊆ A
(b) (A ∩ B)c = Ac ∪ B c
(c) A ⊆ B ≡ B c ⊆ Ac
(d) A + ∅ = A
(e) A + A = ∅
(f) (A + B) + C = A + (B + C)
(g) Si [A + B = A + C] → B = C
(h) A ∩ (B + C) = (A ∩ B) + (A ∩ C)
(i) Si A ⊆ B → 2A ⊆ 2B
3. Usando propiedades simplifique cada una de las siguientes expresiones
(a) A − (A − B)
(b) ((Ac ∪ C c ) ∩ B)c ∪ (A ∪ (C ∩ B)c ∪ C)c
(c) (A ∪ (B ∪ C)c )c ∩ (Ac ∪ (B ∩ C)c )c
4. Dados A y B conjuntos finitos tal que A ∩ B 6= ∅. Demuestre que n(A ∪ B) = n(A) + n(B) − n(A ∩ B).
5. Dados A y B conjuntos finitos. Demuestre que n(A − B) = n(A) − n(A ∩ B). Deduzca la identidad
n(B c ) = n(U ) − n(B).
6. Dados A, B conjuntos tales que n(A ∪ B) = 30, n(A − B) = 12 y n(B − A) = 10. Hallar n(A) y n(B).
7. Dados A, B conjuntos tales que n(A ∪ B) = 24, n(A − B) = 10 y n(B − A) = 6. Hallar 5n(A) − 4n(B).
8. En el Departamento de Matemática trabajan 62 profesores, los cuales se distribuyen como sigue: 25 de
ellos pertenecen al área de Computación, 33 de ellos son miembros del área de Estadı́stica, y 40 de estos
profesores participan también del área de Matemática. Además siete de estos profesores participan
activamente de las tres áreas. Con esta información puede usted deducir, si es posible, ¿Cuántos de
estos Profesores pertenecen a dos de estas tres áreas solamente?.

9. Se realiza una encuesta a un grupo de estudiantes sobre los gustos de 3 productos A, B, C. De esta
encuesta se obtiene que 22 estudiantes prefieren el producto A, 24 prefieren el producto B y 20 prefieren
el producto C. Si los que prefieren al menos un producto son 35 y los que prefieren solamente un
producto son 5. ¿Cuantos estudiantes prefieren los 3 productos?.