Solución de Ejercicios de Lógica Matemática y de Conjuntos

Símbolos para copiar y pegar: ≮ ≯  –  ∄ ℤ (conjunto de los números enteros), si lo desarrolla en

este mismo documento.
Se recomienda imprimir el documento y desarrollarlo en el medio físico (el papel). Luego se confronta sus respuestas en
las clases por zoom

La negación de p  q es: p   q La negación de p  q es:  p  q o también, p   q; también p  q

La negación de p  q es:  p  q o también, p   q; también p  q

Cada quien escoge las letras para representar a los elementos de un conjunto, cuando se necesite hacerlo.

Expresiones como: (a, b)  A2, también se la puede tomar así: (a, b) A  A ; a, b  A

__________
I. Escribir frente a cada proposición v si es verdadera o f si es falsa.
Suficiente con saber que una de las dos proposiciones que constituyen una conjunción sea falsa, para afirmar que la
conjunción es verdadera. Falso
Suficiente con que una de las dos proposiciones que constituyen una disyunción sea falsa, para afirmar que la disyunción
es falsa. Falso
Si (p ˅ q) es verdadera y p es falsa, entonces q también es falsa: Falso
Si en una implicación, su antecedente es verdadero y el consecuente es falso, entonces la implicación es verdadera:
Falso
Si una implicación es verdadera y el consecuente es verdadero, entonces el antecedente es verdadero: Falso
II. Obtener la negación de las proposiciones, aplicado la ley de Morgan.

1. ∃(a, b)  A2 / (a – b) < 0 ˅ (a – b) > 0 2. x B: x M  x N 3. x R: x Q  x I

4. x C: x D ˄ x F 5. ∃ r  G/ r  P  r Q
III. Escriba en los espacios, usando cuantificadores, cada proposición en forma simbólica
1. La diferencia de los cuadrados de algún par de elementos de A, pertenece a B o pertenece a C

∃(a, b)  A2 / (a2 – b2)  B ˅ (a2 – b2)  C

2. Ningún elemento de R elevado al cuadrado, es elemento de P. xR: x2  P o También: ∄ xR/ x2  P

3. El cuadrado de todo elemento de E, es elemento de F xE: x2  F

4. Para algún elemento x de M: x es elemento de A si y solo si x es elemento B ∃ x M / x  A  xB

5. El cuadrado de cualquier elemento de Q, es elemento de Q. xQ: x2 Q

IV. Establecer la correspondiente negación, aplicando la ley de Morgan, de las proposiciones cuantificadas del punto III.
V. Expresar con implicación cada proposición en forma simbólica.

1. La suma de dos elementos de A, es elemento de P (a, b)  A2  (a + b)  P

2. El producto de un par de elementos de K, es elemento de H (a, b)  K2  (ab)  H

3. La suma de dos números impares, es número es impar (a, b)  ℤ i  ℤ i  (a + b) ℤ i

5. El producto de un elemento de A con un elemento de B, es elemento de C (a, b) A  B  (ab)  C

VI. Obtener en forma extensiva cada conjunto: A = {x  ℤ / 9 < x < 17}; B = {x  ℤ / 4 < x < 10}; AB A B

A–B B–A AB C = {x  ℤ / – 3 < x < 6} D = {x  ℤ / x < –10  3 < x}

VII. Obtener en forma comprensiva cada conjunto: A’ , B’ , (A  B)’ , C’, D’ (complementos respecto a ℤ)

Respuestas
II.

1. (a, b)  A2 / (a – b) ≮ 0  (a – b) ≯ 0 2. ∃x B/ x M  x  N 3. ∃xR: x Q  x I

4. ∃x C/ x D  x F 5.  r  G/ r  P  r Q
IV.

1.  (a, b)  A2: (a2 – b2)  B  (a2 – b2)  C

2. ∃xR/ x2  P

3. ∃xE/ x2  F

4.  x M: x  A  xB

5. ∃xQ/ x2 Q

VI.
A = {9, 10, 11, 12, 13, 14, 15, 16}
B = {5, 6, 7, 8, 9, 10}

A  B = {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}

A  B = {9, 10}
A – B = {11, 12, 13, 14, 15, 16}
B – A = {5, 6, 7, 8}

A  B = {5, 6, 7, 8, 11, 12, 13, 14, 15, 16}

C = {– 3, –2, –1, 0, 1, 2, 3, 4, 5}

D = { } =  (conjunto vacío)
VII.

A’ = {x  ℤ / x < 9  17< x}

B’ = {x  ℤ / x < 4  10 < x}

(A  B)’ = {x  ℤ / x < 5  17 < x}

C’ = {x  ℤ / x < – 3  6 < x}
D’ = ℤ

_________
Nota