Facultad de Ciencias Naturales y Matemáticas
Curso de Nivelación Septiembre 2024
Materia: Matemáticas
Área: Ingeniería y Educación Comercial
Fecha: 30/09/2024
GUÍA DE PROBLEMAS 6
Capítulo Secciones
2.4. Propiedades de las operaciones entre conjuntos.
2. Conjuntos. 2.5. Predicados de una variable.
2. CONJUNTOS.
2.4. Propiedades de las operaciones entre conjuntos.
Ejercicio 1.
Sean A, B y C subconjuntos no vacíos de Re. Simplifique cada una de las siguientes expresiones
relacionadas a conjuntos:
a) B − (Re − C c )
b) A ∪ (Ac ∩ B)
c) (A ∪ B) ∩ (B − A)
Ejercicio 2.
Sean A, B y C subconjuntos no vacíos de Re. Verifica la validez de las siguientes igualdades
utilizando las propiedades de las operaciones entre conjuntos:
a) (A ∩ (B ∪ C)) ∪ (A ∩ (B ∪ C)c ) = A
b) (A ∩ B) ∪ ((A ∩ B c ) ∩ C) = A ∩ (B ∪ C)
Ejercicio 3.
Sean A, B y C subconjuntos de un referencial Re, con el uso del Álgebra Proposicional, demuestre
formalmente que:
A ∪ (B − C) = (A ∪ B ∪ C) − (C − A)
Ejercicio 4.
Demuestre formalmente que:
A − (B ∪ C) = (A − B) ∩ (A − C)
Pag. 1 de 3
Ejercicio 5.
Construir un contraejemplo para cada uno de los siguientes enunciados:
a) ∀x[p(x) ∨ q(x)] ≡ ∀x[p(x)] ∨ ∀x[q(x)]
b) ∃x[p(x) ∧ q(x)] ≡ ∃x[p(x)] ∧ ∃x[q(x)]
2.5. Predicados de una variable.
Ejercicio 6.
Sea el conjunto referencial S = {5, 10, 15, 30} y los predicados:
p(x): x es mayor que 20
q(x): x es menor que 10
r(x): x es divisible por 3
Determina:
a) Ap(x)
b) Aq(x)
c) Ar(x)
Ejercicio 7.
Sea el conjunto referencial Re = {2, 5, 8, 10, 12, 15, 18, 20} y los predicados:
p(x): x > 10
q(x): x ≤ 15
r(x): 5 ≤ x ≤ 18
Determina el conjunto solución de las siguientes expresiones lógicas:
a) p(x) ∧ q(x)
b) q(x) ∨ r(x)
c) ¬p(x) ∨ (q(x) ∧ r(x))
Guía de Problemas 6 Pag. 2 de 3
Ejercicio 8.
Sea el conjunto referencial T = {3, 6, 9, 12, 15, 18, 21, 24} y los predicados:
p(x): x ≥ 10
q(x): x es divisible por 3
r(x): x ≤ 18
Determina la cardinalidad de los siguientes conjuntos:
a) A[p(x) ∧ r(x)]
b) A[q(x) ∨ Ar(x)]
c) A[¬q(x) ∧ p(x)]
Ejercicio 9.
Sea el conjunto referencial Re = {8, 12, 25, 30, 50} y los siguientes predicados:
p(x) : x es mayor que 20
q(x) : x es divisible por 4
r(x) : x es impar
Determina el valor de verdad de las siguientes proposiciones lógicas:
a) ¬∃x (p(x) ∧ r(x))
b) ∀x (q(x) → s(x))
Ejercicio 10.
Dado el conjunto referencial Re = {10, 11, 12, 13, 14, 15, 16, 17} y los predicados de una variable:
p(x) : x es un número par
q(x) : x = 12 ∨ x = 15
Determina cuál de las siguientes afirmaciones es VERDADERA:
a) A[¬p(x) ∨ q(x)] = Re
b) A[p(x) ∧ q(x)] = ∅
c) A[p(x)] ⊆ A[q(x)]
d) A[p(x) ∨ q(x)] es un conjunto unitario
e) A[q(x)] − A[p(x)] = {15}
Guía de Problemas 6 Pag. 3 de 3