Tema 3. Notación de conjuntos y lenguaje lógico
En esta sección estudiaremos una parte más formal del lenguaje de los conjuntos:
cómo describir un conjunto de distintas maneras, cómo traducir expresiones del
lenguaje cotidiano al lenguaje matemático y cómo interpretar los conectores
lógicos que aparecen en la notación.
1. Dos formas de describir un conjunto
Consiste en escribir uno por uno los elementos del conjunto,
separados por comas y encerrados entre llaves.
Consiste en describir la propiedad que cumplen los elementos del conjunto.
La forma extensiva enumera elementos.
La forma intensiva describe una condición.
Ambas expresiones representan el mismo conjunto.
2. Cómo se lee la notación intensiva
En expresiones como
la barra vertical | se lee como “tal que”.
Se lee:
“A es el conjunto de los elementos x tales que x es un número impar y x es menor que 10”.
3. Pertenencia y variable de trabajo
El símbolo ∈ significa “pertenece a”.
El símbolo ∉ significa “no pertenece a”.
significa que x pertenece al conjunto G.
Cuando escribimos una definición intensiva, la variable
representa un elemento cualquiera del conjunto que estamos describiendo.
4. Conectores lógicos
Para construir frases lógicas más precisas usamos conectores
como y, o y no.
En matemáticas estos conectores se representan con símbolos.
| Símbolo | Nombre | Se lee como | Relación con conjuntos | Ejemplo |
|---|---|---|---|---|
| ∧ | Conjunción | y | Intersección | x ∈ D ∧ x ∈ G |
| ∨ | Disyunción | o | Unión | x ∈ D ∨ x ∈ P |
| ¬ | Negación | no | Complemento | ¬(x ∈ G) |
5. Traducción entre lenguaje natural y lenguaje matemático
Frase:
“Estudiantes que tienen perros y gatos”
Notación de conjuntos:
Notación lógica:
Frase:
“Estudiantes que tienen perros o pájaros”
Notación de conjuntos:
Notación lógica:
Frase:
“Estudiantes que no tienen gatos”
Notación de conjuntos:
Notación lógica:
6. Diferencia entre notación de conjuntos y notación lógica
Usa operaciones ya conocidas entre conjuntos:
Describe el mismo conjunto, pero a través de condiciones sobre un elemento:
La notación de conjuntos y la notación lógica no compiten:
expresan lo mismo desde dos puntos de vista distintos.
7. Ejemplos con conjuntos numéricos
En una expresión como
no basta con mirar la desigualdad.
También importa el conjunto al que pertenece la variable, en este caso ℚ.
8. Cuantificadores lógicos
El símbolo ∃ significa “existe al menos uno”.
El símbolo ∀ significa “para todo”.
Para definir números pares:
Esto significa que existe un número natural k tal que n se puede escribir como 2k.
9. Resumen
- Un conjunto puede describirse por extensión o por comprensión.
- La barra vertical se lee “tal que”.
- El símbolo ∈ indica pertenencia.
- Los conectores ∧, ∨ y ¬ corresponden a y, o, no.
- La notación lógica expresa condiciones sobre un elemento.
- La notación de conjuntos usa operaciones entre conjuntos.
- Los cuantificadores ∃ y ∀ permiten escribir definiciones más precisas.
Ejercicios – Notación de conjuntos
Bloque 1. De forma extensiva a intensiva
1. Escribe en forma intensiva:
Ver solución
2. Escribe en forma intensiva:
Ver solución
3. Escribe en forma intensiva:
Ver solución
Bloque 2. De lenguaje natural a notación
4. Expresa en notación de conjuntos:
“Estudiantes que tienen perro y gato”
Ver solución
5. Expresa en notación:
“Estudiantes que tienen perro o pájaro”
Ver solución
6. Expresa:
“Estudiantes que no tienen gato”
Ver solución
Bloque 3. De notación a lenguaje
7. Interpreta:
Ver solución
8. Interpreta:
Ver solución
9. Interpreta:
Ver solución
Bloque 4. Traducción completa
10. Traduce completamente:
Ver solución
Números naturales múltiplos de 3 menores que 20.
Forma extensiva:
11. Traduce:
“Números naturales pares menores que 12”
Ver solución
Forma extensiva: