Los conjuntos permiten interpretar proposiciones, predicados, conectores y cuantificadores. La lógica matemática y la teoría de conjuntos están profundamente conectadas.
La lógica matemática estudia razonamientos formales. La teoría de conjuntos ofrece una forma de representar condiciones, propiedades y relaciones mediante colecciones de elementos.
Cuando una condición selecciona elementos de un universo, esa condición define un conjunto. Esta idea conecta directamente predicados, conectores lógicos y operaciones entre conjuntos.
Una proposición es una afirmación que puede ser verdadera o falsa.
Las proposiciones simples no dependen de una variable. Los predicados, en cambio, sí dependen de elementos de un universo.
Un predicado es una propiedad que puede cumplirse o no para cada elemento de un universo.
El predicado P define el conjunto de elementos que lo satisfacen:
El conectivo lógico "y" corresponde a la intersección de conjuntos.
El conjunto de elementos que cumplen ambas condiciones es:
El conectivo lógico "o" inclusivo corresponde a la unión de conjuntos.
Un elemento pertenece a la unión si cumple al menos una de las condiciones.
La negación de un predicado corresponde al complemento del conjunto que lo satisface.
Si P representa los números pares del universo, Pᶜ representa los números que no son pares dentro de ese universo.
| Lógica | Conjuntos | Interpretación |
|---|---|---|
| P y Q | P ∩ Q | Cumple ambas condiciones |
| P o Q | P ∪ Q | Cumple al menos una condición |
| no P | Pᶜ | No cumple P dentro del universo |
| P implica Q | P ⊆ Q | Todo elemento que cumple P también cumple Q |
| P si y solo si Q | P = Q | Ambas condiciones tienen los mismos casos verdaderos |
La implicación P ⇒ Q puede interpretarse como una relación de inclusión entre conjuntos.
Si todo número múltiplo de 4 es par, entonces el conjunto de múltiplos de 4 está contenido en el conjunto de números pares.
Dos predicados son lógicamente equivalentes si son verdaderos para exactamente los mismos elementos del universo.
En términos de conjuntos, equivalencia lógica significa igualdad de conjuntos de verdad.
El cuantificador universal afirma que una propiedad se cumple para todos los elementos del universo.
En conjuntos, esto significa que el conjunto que satisface P coincide con el universo.
El cuantificador existencial afirma que existe al menos un elemento que cumple una propiedad.
En conjuntos, esto significa que el conjunto que satisface P no es vacío.
Las leyes de De Morgan conectan negación con "y" y "o".
En conjuntos son las mismas leyes:
Podemos representar un universo como arreglo y un predicado como función que devuelve verdadero o falso.
const universo = [1, 2, 3, 4, 5, 6];
const esPar = x => x % 2 === 0;
const mayorQueTres = x => x > 3;
const pares = universo.filter(esPar);
const mayoresQueTres = universo.filter(mayorQueTres);
console.log(pares);
console.log(mayoresQueTres);Cada filtro construye el conjunto de elementos que satisfacen un predicado.
Podemos representar "y", "o" y "no" mediante operadores lógicos.
const universo = [1, 2, 3, 4, 5, 6];
const esPar = x => x % 2 === 0;
const mayorQueTres = x => x > 3;
const paresYMayoresQueTres = universo.filter(x =>
esPar(x) && mayorQueTres(x)
);
const paresOMayoresQueTres = universo.filter(x =>
esPar(x) || mayorQueTres(x)
);
const noPares = universo.filter(x => !esPar(x));
console.log(paresYMayoresQueTres);
console.log(paresOMayoresQueTres);
console.log(noPares);Estas operaciones coinciden con intersección, unión y complemento dentro del universo.
Los métodos every y some se relacionan con los cuantificadores universal y existencial.
const universo = [1, 2, 3, 4, 5, 6];
console.log(universo.every(x => x > 0));
console.log(universo.some(x => x % 2 === 0));every verifica si todos cumplen una condición. some verifica si existe al menos uno que la cumple.
| Área | Uso lógico | Interpretación con conjuntos |
|---|---|---|
| Validación | Todos los campos son válidos | Todos los elementos pertenecen al conjunto de válidos |
| Búsqueda | Existe un resultado que cumple el criterio | El conjunto filtrado no es vacío |
| Permisos | Rol implica permiso | Usuarios con rol ⊆ usuarios con permiso |
| Filtros | Condición A y condición B | Intersección de resultados |
| Reglas de negocio | Negación de condiciones combinadas | Uso de complementos y De Morgan |
La teoría de conjuntos ofrece una interpretación clara de la lógica matemática. Predicados, conectores y cuantificadores pueden analizarse mediante conjuntos, operaciones y relaciones.
En el próximo tema estudiaremos aplicaciones de conjuntos en programación.