UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

Práctica

MAT-2870 Logica y Teoria de Conjuntos

Unidad II

Docente: Dr.C. Pablo César Smester Báez

UASD
 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

II.1 Conteste las siguientes preguntas

• De un ejemplo de una función proposicional
• ¿Por qué una función proposicional no es una proposición?
• Explica las diferencias entre una “función proposicional’ y una “forma proposicional”.
• ¿Qué relación existe entre una función proposicional y una proposición?
• Investigue porque se usa el símbolo p(x), para denotar las funciones proposicionales
• ¿Podemos afirmar que una función proposicional siempre incluirá de algún modo una
incertidumbre?, explique.
II.2 Sea p(x) la función proposicional x2 = 2x, Determine si cada una de las siguientes
proposiciones es verdadera o falsa.
a) p (0) b) p (1) c) p (2) d) p (−2) e) ∃ x p(x) f) ∀ x p(x)

II.3 Haz una breve reseña de los aportes de:

George Boole, George Cantor, Gottlob Frege, Augustus De Morgan, Julios Dedekind,
Bertrand Russell

II.4 Expresa por extensión cada uno de los conjuntos siguientes.

1. {x/x es un número entero menor que 6}
2. {x/x es un número entero mayor que 8 y menor que 18}
3. {x/x es un número entero no mayor que 4}
4. {x/x es un número primo mayor que 5 menor que 50}
5. {x/x es un entero impar entre -8 y 7}
6. {x/x es un divisor 24}
7. {x/x es un múltiplo positivo de 5}
8. {x/x es un número natural mayor que 20}
9. {x/x es un presidente de la República Dominicana que gobernó entre los años 1980 y 2000}
10. {x/x es una provincia de la región sur de República Dominicana}
11. {x/x es un número natural par menor que 10}
12. {x/x es una persona que tiene 500 años de edad y aún vive}
13. {x/x es un múltiplo negativo de 6}
14. {x/x es una potencia positiva de 4}
15. {x/x es un mamífero que vuela}
 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

II.5 Escribe F o V según consideres falso o verdadero cada enunciado.

1. 4  2, 4, 6,8 ______
2. p  m, n, p, q, r ______
3. e, h, a, n = a, h, e, n _____
4. 5,8,9 = 5,8,9, 0 ______
5.  x / x es número natural menor que 3 = 1, 2 _____
6.  x / x es número natural mayor que 10 = 11,12,13,... ______
7. rojo, verde, azul  verde, rojo, azul , amarillo, blanco ______
8. −7, 4,9   x / x es un entero impar _____
9.  x / x es un divisor de 24  2, 4, 6,8,12, 24 ______
10. a , a, b , a, b, c ,  es el conjunto potencia de del conjunto a, b, c ______
II.6 Expresa por comprensión cada uno de los conjuntos siguientes.

1. 6, 7,8,...,14
2. −15, −13, −11,... − 1
3. 2, 4,8,..., 256
4. 3, 6,9,12,...,30
5. −4, −3, −2,..., 4
6. 90,87,84,..., 69
7. 10
8. 4,9,16, 25, 49

II.7 Aparea los conjuntos de la columna izquierda con los de la columna derecha.
a) 2, 4, 6,8 ----- 1) a) El conjunto de las cinco menores potencias
enteras positivas de 2
b)  x / x es un entero par mayor que 4 y menor que 6 ----- 2) El conjunto de todos los enteros pares
c) ... − 4, −3, −2, −1 ------3) El conjunto de los enteros positivos pares
menores que 10
d) ... − 6, −4, −2, 0, 4, 6... ----- 4) El conjunto de todos los enteros impares
e) 2, 4,8,16,32 ----- 5) El conjunto de todos los enteros negativos.
f) ... − 5, −3, −1,1,3,5... ----- 6) El conjunto de los enteros impares positivos
g) 2, 4, 6,8,10 ----- 7) 
h) 1,3,5, 7,9 ----- 8) El conjunto de los cinco menores múltiplos
enteros positivos de 2.
 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

II.8 Indica si están bien determinados cada uno de los “conjuntos” siguientes, explica tu
respuesta
1. {x/x es un número real}
2. {x/x es un buen atleta}
3. {x/x es una mecanógrafa hábil}
4. {x/x es un número natural menor que 2}
5. {x/x es un excelente jugador de baloncesto}

II.9 Efectúa el ejercicio y selecciona la o las respuestas correctas de las suministradas

El conjunto vacío se corresponde con
A) La nada
B) {𝑥 ∣ 𝑥 ≠ 𝑥}
C) {𝑥 ∣ 𝑥 ∈ ℝ}
D) { }
E) Un conjunto que no existe
II.10 Si el conjunto universal fuera el conjunto de todas las cosas, ¿El mismo, estaría como
parte de sí mismo?

II.11 Si U = {1,2,3,4,5,6,7,8,9,10,11,12} y A, B, C, son subconjuntos de U, de modo que:

A = {1,2,3,4,6,12} U
B = {x │ x es un entero impar}
C = {5,6,8}
Haga una gráfica, utilizando los diagramas de Veen -Euler

II.12 Explica porque se consideran equivalentes la negación de una proposición en el lenguaje

lógico y su dual el complemento en la teoría de conjuntos, especifica porque es necesario
tener un marco de referencia, que llamamos conjunto universal.
II.13 Dados los conjuntos U = {1, 2, 3, 4, …12}; A = {1, 2, 3, 4, 5, 9}; B = {2, 3, 4, 6, 7, 11};
C = {1, 3, 4, 8, 9, 12} y D = {x/x es un número natural par menor que 10}. Determina y
construye un diagrama de Venn para cada operación indicada.
a) A  B = b) B  C = c) A – B = d) A  D = e) A’ = d) A  D = e) A’ =

II.14 Dados los conjuntos que se muestran el diagrama

 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

Comprueba, detalladamente, que la parte sombreada

puede representarse por:

II.15 Representa gráficamente y resuelve la siguiente situación: de un grupo de 100 personas,

65 saben nadar y 75 saben remar. ¿Cuántas personas saben nadar y remar a la vez?
II.16 Si de un conjunto se pueden obtener 16 subconjuntos, entonces por cuántos elementos está
formado el conjunto
II.17 Dados los conjuntos: A = {1,2} B = {2,3,4} y C = {2}. ¿Cuántos subconjuntos tiene
(A ∩ B ∩ C)
II.18 Sean los conjuntos: A = {1, 2, 3, 4, 5}; B = {1, 2}; C = {1, 5}; D = {1, 4}; E = {1}; ¿Cuál de
todos ellos es subconjunto de todos los demás?
II.19 Si Si M y N son dos conjuntos con tres elementos cada uno. ¿Cuál de las siguientes
afirmaciones son siempre verdaderas?
a) M = N
b) M ∪ N tiene 6 elementos
c) M - N = φ
d) Ninguna de las anteriores
II.20 ¿Cuál es la intersección del Conjunto H = {0,1,2} y el Conjunto vacío?
II.21 Si A ∪ B = U, entonces, es siempre verdadero que:
a) B = A'
b) B = A - B
c) A ∩ B = φ
d) (A ∪ B)' = φ
e) Ninguna de ellas.

II.22 Mostrar y resolver con un diagrama de Veen: En un curso compuesto por 22 alumnos; 12
estudian alemán; 11 estudian inglés y 11 francés, 6 estudian alemán e inglés; 7 estudian
inglés y francés; 5 estudian alemán y francés y 2 estudian los tres idiomas. ¿Cuántos
alumnos estudian sólo inglés?
II.23 Mostrar con un diagrama de Veen si es posible que los siguientes conjuntos sean vacíos:
T= (A U B)' ∩ (C U B')'
P = A ∩ [B' U (C ∩ A')']'

II.24 Explica con tus palabras que entiendes por los conjuntos siguientes
❖ ℕ: El conjunto de los números naturales.
 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

❖ ℤ: El conjunto de los números enteros.

❖ ℚ: El conjunto de los números racionales.
❖ ℝ: El conjunto de los números reales.
❖ ℂ: El conjunto de los números complejos.
II.25Dados los conjuntos: 𝐔 = {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓, 𝟔, 𝟕, 𝟖, 𝟗, 𝟏𝟎, 𝟏𝟏, 𝟏𝟐}
𝐀 = {𝐱|𝐱 = (𝐧 − 𝟐)(𝐧 − 𝟏); 𝐧 ∈ ℕ ∧ 𝟏 < 𝐧 ≤ 𝟓}
𝐁 = {𝐱|𝐱 = (𝟐𝐧); 𝐧 ∈ ℕ ∧ 𝟏 < 𝐧 < 𝟕} determine por extensión los conjuntos A y B y
Especifique cuantos elementos tiene el conjunto A y el conjunto B:

II.26 Dados los conjuntos: 𝐔 = {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓, 𝟔, 𝟕, 𝟖, 𝟗, 𝟏𝟎, 𝟏𝟏, 𝟏𝟐};

𝐀 = {𝐱|𝐱 = (𝐧 − 𝟐)(𝐧 − 𝟏); 𝐧 ∈ ℕ ∧ 𝟏 < 𝐧 ≤ 𝟓}
𝐁 = {𝐱|𝐱 = (𝟐𝐧); 𝐧 ∈ ℕ ∧ 𝟏 < 𝐧 ≤ 𝟖} determine por extensión los conjuntos A y B y A ∩ B
y cuantos elementos tiene el conjunto (A ∩ B)

II.27 Dados los conjuntos: 𝐔 = {𝟎, 𝟏, 𝟐, 𝟑, 𝟒, 𝟓, 𝟔, 𝟕, 𝟖, 𝟗, 𝟏𝟎, 𝟏𝟏, 𝟏𝟐}

𝐀 = {𝐱|𝐱 = (𝐧 − 𝟐)(𝐧 − 𝟏); 𝐧 ∈ ℕ ∧ 𝟏 < 𝐧 ≤ 𝟓} 𝐁 = {𝐱|𝐱 = (𝟐𝐧); 𝐧 ∈ ℕ ∧ 𝟏 ≤ 𝐧 < 𝟔}

determine por extensión los conjuntos A , B , A ∩ B y (A ∩ B)’ cuantos elementos tiene el

conjunto (A ∩ B)’

II.28 Si sabemos que 𝑨 = {𝒙|𝒙 ∈ ℕ 𝒚 𝟐 ≤ 𝒙 ≤ 𝟗}; 𝑩 = {𝒙|𝒙 ∈ ℕ 𝒚 𝟐 ≤ 𝒙 ≤ 𝟖, 𝒙 𝒆𝒔 𝒑𝒂𝒓};

𝑪 = {𝟑, 𝟓, 𝟕}, 𝑫 = {𝟐, 𝟒} ; E= {𝟏, 𝟑} indica en cada caso cual puede ser el conjunto X
(Tomado de los mostrados); sabiendo que debe de cumplir lo mostrado en cada caso:
𝑿 ⊂ 𝑨 𝒚 𝑿 ⊂ 𝑩 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝑿 𝒑𝒖𝒆𝒅𝒆 𝒔𝒆𝒓_____________
𝑿 ⊄ 𝑩 𝒚 𝑿 ⊄ 𝑬 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝑿 𝒑𝒖𝒆𝒅𝒆 𝒔𝒆𝒓_____________
𝑿 ⊄ 𝑪 𝒚 𝑿 ⊂ 𝑫 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝑿 𝒑𝒖𝒆𝒅𝒆 𝒔𝒆𝒓_____________
𝑿 ⊄ 𝑨 𝒚 𝑿 ⊂ 𝑬 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝑿 𝒑𝒖𝒆𝒅𝒆 𝒔𝒆𝒓_____________
𝑿 ⊂ 𝑨 𝒚 𝑿 ⊂ 𝑬 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝑿 𝒑𝒖𝒆𝒅𝒆 𝒔𝒆𝒓____________
II.29 Responde las siguientes preguntas
• ¿Cuáles son los cuantificadores más usados y como se denominan?, ¿Qué importancia tienen?
• Para usar los cuantificadores, ¿Es necesario utilizar las funciones proposicionales, explique?
• Explique por qué se dice que un cuantificador universal se niega con un cuantificador existencial y
viceversa, ponga ejemplos.
II.30 Cuál de estas dos expresiones es verdadera (explica tu respuesta)
 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

𝒙
∀𝒙, 𝒚 ∈ ℤ, 𝒚 ≠ 𝟎; =𝒘∈ℤ
𝒚
𝒙
∃𝒙, ∃𝒚 ∈ ℤ, 𝒚 ≠ 𝟎; = 𝒘 ∈ ℤ
𝒚
II.31 Simbolice los siguientes enunciados utilizando los cuantificadores:
1.1 Hay patos negros.
1.2 Existen animales sin huesos.
1.3 Hay números pares.
1.4 Existen ciudades con un clima templado.
1.5 Todos los nevados son helados.
1.6 Hay cetáceos que viven en el agua.
1.7 Algunos números negativos son enteros.
1.8 Algunos gobernantes no son corruptos.

II.32 Simbolice los siguientes enunciados en términos de cuantificadores:

a. La ecuación tiene una solución en los enteros.

b. Para todo número entero existe otro número entero mayor que él.
c. El producto de dos enteros consecutivos es un número par
II.33 ¿La gráfica muestra el conjunto solución de la expresión I o II o III?

I) ∀𝑥 ∈ ℕ, ∋ 2 ≤ 𝑥 ≤ 6, ∀𝑦 ∈ ℕ, 𝑦 = 2𝑥;
II) ∀𝑥 ∈ A = {2.5,3,4,4.6,5,6}, ∋ 2 ≤ 𝑥 ≤ 6, ∀𝑦 ∈ A, 𝑦 = 2𝑥;
III) ∀𝑥 ∈ B = {2/5,3,4,4/3,5,6}, ∋, ∋ 2 ≤ 𝑥 ≤ 6, ∀𝑦 ∈ ℤ, 𝑦 = 2𝑥;
Justifica tu respuesta

II.34 Sea U = {1, 2, 3, 4} el conjunto universal. Determinar el valor de verdad de cada

enunciado:
a) ∀ x: x + 3 < 6.7

b) ∀x: x2 − 10 ≤ 8

c) ∃ x: 2x2 + x = 15

d) ∃ x: (x2 > 1 → x + 2 = 0)
 UNIVERSIDAD AUTÓNOMA DE SANTO DOMINGO

II.35 Investiga la expresión: que ocurra “A” es condición suficiente para que ocurra “B”

II.36 Investiga la expresión: que ocurra “B” es condición necesaria para que ocurra “A”

II.37 Investiga la expresión: que ocurra “A” es condición necesaria y suficiente para que ocurra
“B”

II.38 En las argumentaciones se acostumbra entrelazar las premisas con el conectivo “Y

“indicando que deben cumplirse todas, para que la argumentación sea válida, en ese punto,
si el antecedente (todas las premisas) es cierto, entonces (por tanto), debe poder llegarse a
una conclusión
Lee el siguiente poema, escríbelo en lenguaje lógico.

“Por culpa de un clavo”

Por falta de un clavo la herradura se perdió.

Por falta de una herradura, el caballo se perdió.
Por falta de un caballo, el jinete se perdió.
Por falta de un jinete, la batalla se perdió.
Por falta de una batalla, la guerra se perdió.
Por tanto, por falta de un clavo, la guerra se perdió.