Scribd
Cargar
202 vistas2 páginas

Ejercicios de Lógica Matemática y de Conjuntos

Este documento presenta una serie de ejercicios de lógica matemática y conjuntos. Incluye símbolos lógicos y cuantificadores, y pide al estudiante que exprese proposiciones en forma simbólica, obtenga negaciones, determine si proposiciones son verdaderas o falsas, realice operaciones con conjuntos como unión e intersección, y obtenga complementos de conjuntos.

Cargado por

Cristhian Alejandro
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
202 vistas2 páginas

Ejercicios de Lógica Matemática y de Conjuntos

Este documento presenta una serie de ejercicios de lógica matemática y conjuntos. Incluye símbolos lógicos y cuantificadores, y pide al estudiante que exprese proposiciones en forma simbólica, obtenga negaciones, determine si proposiciones son verdaderas o falsas, realice operaciones con conjuntos como unión e intersección, y obtenga complementos de conjuntos.

Cargado por

Cristhian Alejandro
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

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


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.
Suficiente con que una de las dos proposiciones que constituyen una disyunción sea falsa, para afirmar que la disyunción
es falsa.
Si (p ˅ q) es verdadera y p es falsa, entonces q también es falsa:
Si en una implicación, su antecedente es verdadero y el consecuente es falso, entonces la implicación es verdadera:
Si una implicación es verdadera y el consecuente es verdadero, entonces el antecedente es verdadero:
II. Obtener la negación de las proposiciones, aplicado la ley de Morgan.

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

x C: x D ˄ x F ∃ 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
2. Ningún elemento de R elevado al cuadrado, es elemento de P.
3. El cuadrado de todo elemento de E, es elemento de F
4. Para algún elemento x de M: x es elemento de A si y solo si x es elemento B
5. El cuadrado de cualquier elemento de Q, es elemento de Q.
IV. Establecer la correspondiente negación, aplicando la ley de Morgan, de las proposiciones 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
2. El producto de un par de elementos de K, es elemento de H
3. La suma de dos números impares, es número es impar
5. El producto de un elemento de A con un elemento de B, es elemento de C

VI. Obtener en forma extensiva cada conjunto: A = {x  ℤ / 10 < x < 20}; B = {x  ℤ / 5 < x < 12}; AB A
B

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

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

También podría gustarte