En los capítulos anteriores estudiamos la lógica proposicional: proposiciones, conectivos lógicos, tablas de verdad, equivalencias, reglas de inferencia y circuitos. Todas esas herramientas trabajan con proposiciones completas representadas por letras (\( p \), \( q \), \( r \)…).
Sin embargo, hay argumentos cotidianos que la lógica proposicional no puede analizar correctamente. En este capítulo aprenderás por qué, y descubrirás las herramientas que resuelven esa limitación: los cuantificadores lógicos.
¿Por qué la lógica proposicional no es suficiente?
Consideremos el argumento más famoso de la historia de la lógica:
Premisa 1: Todos los hombres son mortales. Premisa 2: Sócrates es hombre. Conclusión: Sócrates es mortal.
Este argumento es claramente válido. Pero si intentamos representarlo con lógica proposicional usando variables proposicionales (letras):
- \( p \): «Todos los hombres son mortales»
- \( q \): «Sócrates es hombre»
- \( r \): «Sócrates es mortal»
Obtendríamos la estructura \( p, q \vdash r \) y se lee «\( p \) y \( q \) por tanto \( r \)» (ver el capitulo de inferencia lógica), tendríamos un inconveniente, sería imposible deducir solo con variables proposicionales ya que no tenemos información de estas variables. No existe ninguna regla de inferencia que nos permita deducir \( r \) a partir de \( p \) y \( q \), porque la lógica proposicional trata a cada proposición como una unidad indivisible — no puede «mirar adentro» para ver que las tres hablan del mismo concepto (hombres, mortales, Sócrates).
Lo mismo ocurre con argumentos que usan la palabra «algunos». Considera:
Premisa 1: Algunos médicos son investigadores. Premisa 2: Todos los investigadores publican artículos. Conclusión: Algunos médicos publican artículos.
Este argumento también es claramente válido. Sin embargo, si asignamos \( p \), \( q \) y \( r \) a cada premisa y conclusión, volvemos a obtener \( p, q \vdash r \), y la lógica proposicional no puede justificar la deducción. No logra ver que «algunos médicos» de la premisa 1 están contenidos en «los investigadores» de la premisa 2, y por lo tanto heredan la propiedad de publicar artículos.
Si observaron muy bien, los dos ejemplos anteriores tiene la estructura:
- «Todos los elementos de un conjunto cumplen una propiedad»
- «Existe al menos un elemento que cumple una propiedad»
Para esto, necesitamos un nuevo conjunto de herramientas: los cuantificadores lógicos que estudiaremos en breve.
Funciones proposicionales (Enunciados abiertos)
Antes de estudiar los cuantificadores, necesitamos entender un concepto previo: la función proposicional.
Definición
Una función proposicional (también llamada enunciado abierto) es una expresión que contiene una o más variables y que se convierte en una proposición cuando se sustituyen esas variables por valores específicos.
Se denota como \( P(x) \), donde:
- \( P \) es el predicado (la propiedad que se evalúa)
- \( x \) es la variable
Ejemplos
| Función proposicional | Variable | ¿Qué describe? |
|---|---|---|
| \( P(x) \): «\( x + 5 < 11 \)» | \( x \) | Una desigualdad numérica |
| \( Q(x) \): «\( 2x – 3 = 7 \)» | \( x \) | Una ecuación |
| \( R(x) \): «\( x \) es un número primo» | \( x \) | Una propiedad numérica |
| \( S(x) \): «\( x \) es un país de América» | \( x \) | Una propiedad geográfica |
¿Cómo se convierte en proposición?
Al sustituir la variable por un valor concreto, la función proposicional se convierte en una proposición con valor de verdad:
Ejemplo 1: Sea \( P(x) \): «\( x + 5 < 11 \)» con \( x \in \mathbb{Z} \)
- Si \( x = 3 \): \( P(3) \): «\( 3 + 5 < 11 \)» → «\( 8 < 11 \)» → Verdadero ✓
- Si \( x = 7 \): \( P(7) \): «\( 7 + 5 < 11 \)» → «\( 12 < 11 \)» → Falso ✗
Ejemplo 2: Sea \( S(x) \): «\( x \) es un país de América»
- Si \( x = \) Perú: \( S(\text{Perú}) \): «Perú es un país de América» → Verdadero ✓
- Si \( x = \) Japón: \( S(\text{Japón}) \): «Japón es un país de América» → Falso ✗
El dominio de la variable
El dominio es el conjunto de todos los valores que la variable puede tomar. Se denota con \( D \) o con la notación \( x \in D \).
Por ejemplo:
- Si \( P(x) \): «\( x + 5 < 11 \)» y el dominio es \( \mathbb{N} \) (naturales), entonces \( x \) solo puede tomar valores 1, 2, 3, …
- Si el dominio es \( \mathbb{Z} \) (enteros), entonces \( x \) también puede ser negativo: …, -2, -1, 0, 1, 2, …
Importante: Una función proposicional por sí sola no es una proposición, porque no tiene valor de verdad hasta que se le asigne un valor a la variable.
¿Qué NO es una función proposicional?
No toda expresión con variables es una función proposicional. Para serlo, debe poder convertirse en una proposición verdadera o falsa al sustituir la variable.
Ejemplo: La expresión \( 2x^2 – 6 \) no es función proposicional porque, al sustituir \( x = 3 \), obtenemos \( 2(9) – 6 = 12 \). El resultado es un número, no una afirmación o negación para confirmar que es verdadera o falsa.
De función proposicional a proposición: dos métodos
Hasta aquí hemos visto un método para obtener proposiciones a partir de una función proposicional: sustituir la variable por un valor concreto. Por ejemplo, al reemplazar \( x \) por 3 en \( P(x): x + 5 < 11 \), obtenemos la proposición \( P(3): 8 < 11 \), que es verdadera.
Sin embargo, existe un segundo método completamente distinto que también permite convertir funciones proposicionales en proposiciones, pero sin necesidad de asignar un valor específico a la variable. Este método consiste en anteponer a la función proposicional una expresión que indique cuántos elementos del dominio cumplen la propiedad: ¿todos? ¿al menos uno?
Estas expresiones se llaman cuantificadores, y son la herramienta que estudiaremos a continuación.
El Cuantificador Universal (∀)
El primero de los dos cuantificadores es el cuantificador universal.
Definición
El cuantificador universal permite afirmar que todos los elementos de un dominio cumplen una propiedad. Se simboliza con \( \forall \) (una «A» invertida, del inglés «for All«).
Si tenemos una función proposicional \( P(x) \) con dominio \( A \), la expresión:
\[ \forall x \in A: P(x) \]
se lee: «Para todo \( x \) perteneciente a \( A \), se cumple \( P(x) \)».
Notaciones equivalentes
| Notación | Lectura |
|---|---|
| \( \forall x \in A: P(x) \) | «Para todo \( x \) en \( A \), \( P(x) \)» |
| \( \forall x \in A \mid P(x) \) | «Para todo \( x \) en \( A \) tal que \( P(x) \)» |
| \( (\forall x \in A)(P(x)) \) | «Para todo \( x \) en \( A \), \( P(x) \)» |
Todas significan lo mismo. En este artículo usaremos principalmente la primera notación.
Otras formas de leerlo
La expresión \( \forall x \in A: P(x) \) también se puede leer como:
- «Para cada \( x \) en \( A \), se cumple \( P(x) \)»
- «Cualquiera que sea \( x \) en \( A \), \( P(x) \) es verdadero»
- «Todo elemento de \( A \) cumple la propiedad \( P \)»
¿Cuándo es verdadera y cuándo es falsa?
| Situación | Valor de verdad |
|---|---|
| Todos los elementos de \( A \) cumplen \( P(x) \) | Verdadero |
| Al menos un elemento de \( A \) no cumple \( P(x) \) | Falso |
Clave: Basta encontrar un solo elemento que no cumpla la propiedad para que la proposición universal sea falsa.
Ejemplos con conjuntos finitos
Ejemplo 1: Sea \( A = {-1, 2, 3, 4} \)
\( \forall x \in A: 3x – 2 < 12 \)
Verificamos con cada elemento:
- \( x = -1 \): \( 3(-1) – 2 = -5 < 12 \) ✓
- \( x = 2 \): \( 3(2) – 2 = 4 < 12 \) ✓
- \( x = 3 \): \( 3(3) – 2 = 7 < 12 \) ✓
- \( x = 4 \): \( 3(4) – 2 = 10 < 12 \) ✓
Todos cumplen → La proposición es Verdadera ✅
Ejemplo 2: Sea \( A = {-1, 1, 2, 3} \)
\( \forall x \in A: x \in \mathbb{N} \) («Todo \( x \) de \( A \) es un número natural»)
- \( x = -1 \): \( -1 \in \mathbb{N} \)? No cumple ✗
Encontramos un contraejemplo → La proposición es Falsa ❌
Ejemplo 3: Sea \( A = {-1, 1, 2, 3} \)
\( \forall x \in A: x^2 + 3x + 1 > 0 \)
- \( x = -1 \): \( 1 – 3 + 1 = -1 > 0 \)? No cumple ✗
La proposición es Falsa ❌ (basta con el primer contraejemplo).
Ejemplos con conjuntos infinitos
Ejemplo 4: \( \forall x \in \mathbb{R}: x^2 + 1 > 0 \)
Como \( x^2 \geq 0 \) para todo número real, entonces \( x^2 + 1 \geq 1 > 0 \) siempre. → Verdadera ✅
Ejemplo 5: \( \forall x \in \mathbb{R}: x^2 + 1 < 0 \)
Imposible, ya que \( x^2 + 1 \) siempre es positivo. → Falsa ❌
Ejemplo 6: \( \forall y \in \mathbb{R}: (y – 1)^2 \geq 0 \)
El cuadrado de cualquier número real es siempre mayor o igual que cero. → Verdadera ✅
El Cuantificador Existencial (∃)
Definición
El cuantificador existencial permite afirmar que existe al menos un elemento del dominio que cumple una propiedad. Se simboliza con \( \exists \) (una «E» invertida).
Si tenemos una función proposicional \( P(x) \) con dominio \( A \), la expresión:
\[ \exists x \in A: P(x) \]
se lee: «Existe al menos un \( x \) en \( A \) tal que se cumple \( P(x) \)».
Notaciones equivalentes
| Notación | Lectura |
|---|---|
| \( \exists x \in A: P(x) \) | «Existe \( x \) en \( A \) tal que \( P(x) \)» |
| \( \exists x \in A \mid P(x) \) | «Existe \( x \) en \( A \) tal que \( P(x) \)» |
| \( (\exists x \in A)(P(x)) \) | «Existe \( x \) en \( A \) tal que \( P(x) \)» |
Otras formas de leerlo
- «Hay al menos un \( x \) en \( A \) tal que \( P(x) \)»
- «Para algún \( x \) en \( A \), \( P(x) \) es verdadero»
- «Algún elemento de \( A \) cumple \( P \)»
¿Cuándo es verdadera y cuándo es falsa?
| Situación | Valor de verdad |
|---|---|
| Al menos un elemento de \( A \) cumple \( P(x) \) | Verdadero |
| Ningún elemento de \( A \) cumple \( P(x) \) | Falso |
Clave: Basta encontrar un solo elemento que cumpla la propiedad para que la proposición existencial sea verdadera.
Ejemplos
Ejemplo 1: Sea \( A = {-2, -1, 2, 3, 4} \)
\( \exists x \in A: x^2 – 2x = 8 \)
Probamos con varios valores del conjunto:
- \( x = -2 \): \( (-2)^2 – 2(-2) = 4 + 4 = 8 \) ✓
- \( x = -1 \): \( (-1)^2 – 2(-1) = 1 + 2 = 3 \neq 8 \) ✗
- \( x = 2 \): \( (2)^2 – 2(2) = 4 – 4 = 0 \neq 8 \) ✗
¿Importa que \( x = -1 \) y \( x = 2 \) no hayan cumplido? No, porque el cuantificador existencial solo necesita que al menos uno cumpla la propiedad, y \( x = -2 \) ya la cumplió. → Verdadera ✅
Ejemplo 2: \( \exists x \in \mathbb{N}: 0 < x < 2 \)
- \( x = 1 \): \( 0 < 1 < 2 \) ✓
→ Verdadera ✅
Ejemplo 3: \( \exists x \in \mathbb{Z}: 2x = 1 \)
Necesitaríamos \( x = \frac{1}{2} \), pero \( \frac{1}{2} \notin \mathbb{Z} \). Ningún entero cumple la ecuación. → Falsa ❌
Ejemplo 4: \( \exists x \in \mathbb{N}: x \) es par y primo.
- \( x = 2 \): es par ✓ y es primo ✓
→ Verdadera ✅ (el 2 es el único número que es par y primo a la vez)
El cuantificador de unicidad (∃!)
Existe una variante especial del cuantificador existencial: el cuantificador de unicidad, que se escribe \( \exists! \) y se lee «existe un único».
\( \exists! x \in A: P(x) \) significa que hay exactamente un elemento en \( A \) que cumple \( P(x) \).
Ejemplo 1: \( \exists! x \in \mathbb{Z}: 2 < x < 4 \)
El único entero entre 2 y 4 es \( x = 3 \). → Verdadera ✅
Ejemplo 2: \( \exists! x \in \mathbb{R}: e^{x^2 – 9} = 1 \)
Se necesita \( x^2 – 9 = 0 \), lo que da \( x = 3 \) y \( x = -3 \). Como hay dos soluciones (no una única), la proposición es Falsa ❌.
Relación entre ∀ y ∃
Los cuantificadores universal y existencial están íntimamente relacionados:
| Si… | Entonces… |
|---|---|
| \( \forall x \in A: P(x) \) es verdadera | \( \exists x \in A: P(x) \) también es verdadera |
| \( \exists x \in A: P(x) \) es falsa | \( \forall x \in A: P(x) \) también es falsa |
Es decir: si todos cumplen la propiedad, entonces al menos uno la cumple. Y si ninguno la cumple, entonces no todos la cumplen.
Nota: Lo contrario no siempre funciona. Que exista al menos uno que cumpla \( P(x) \) no significa que todos la cumplan.
Negación de proposiciones cuantificadas
La negación de proposiciones con cuantificadores sigue dos reglas fundamentales, conocidas como los Teoremas de De Morgan para cuantificadores (análogos a las leyes de De Morgan que vimos en el capítulo de equivalencias lógicas).
Regla 1: Negación del cuantificador universal
\[ \neg[\forall x \in A: P(x)] \equiv \exists x \in A: \neg P(x) \]
En palabras: «No es cierto que todos cumplan \( P \)» equivale a «Existe al menos uno que no cumple \( P \)».
Ejemplo: Negar «Todos los planetas son habitables»:
- \( \neg[\forall x: x \text{ es habitable}] \)
- \( \equiv \exists x: x \text{ no es habitable} \)
- → «Existe al menos un planeta que no es habitable» ✓
Regla 2: Negación del cuantificador existencial
\[ \neg[\exists x \in A: P(x)] \equiv \forall x \in A: \neg P(x) \]
En palabras: «No es cierto que exista alguno que cumpla \( P \)» equivale a «Todos no cumplen \( P \)».
Ejemplo: Negar «Existe un planeta habitable»:
- \( \neg[\exists x: x \text{ es habitable}] \)
- \( \equiv \forall x: x \text{ no es habitable} \)
- → «Ningún planeta es habitable» (o «Todos los planetas son no habitables») ✓
Resumen de las dos reglas
| Proposición original | Su negación |
|---|---|
| \( \forall x \in A: P(x) \) | \( \exists x \in A: \neg P(x) \) |
| \( \exists x \in A: P(x) \) | \( \forall x \in A: \neg P(x) \) |
Regla mnemotécnica: Al negar, el cuantificador cambia (\( \forall \leftrightarrow \exists \)) y la propiedad se niega.
Ejemplos resueltos
Ejemplo 1: Negar \( \forall x \in \mathbb{N}: x + 3 > 5 \)
\[ \neg[\forall x \in \mathbb{N}: x + 3 > 5] \equiv \exists x \in \mathbb{N}: x + 3 \leq 5 \]
Observa que al negar \( > \) (mayor estricto) obtenemos \( \leq \) (menor o igual), y no simplemente \( < \). Esto se debe a que lo opuesto de «ser estrictamente mayor que 5» es «no ser mayor que 5″, es decir, ser igual a 5 o ser menor que 5. En general:
| Desigualdad original | Su negación |
|---|---|
| \( > \) | \( \leq \) |
| \( < \) | \( \geq \) |
| \( \geq \) | \( < \) |
| \( \leq \) | \( > \) |
Volviendo al ejemplo, la proposición negada «Existe al menos un número natural \( x \) tal que \( x + 3 \leq 5 \)» es verdadera: \( x = 1 \) cumple \( 4 \leq 5 \).
Ejemplo 2: Negar \( \exists x \in \mathbb{R}: x^3 = x^2 \)
\[ \neg[\exists x \in \mathbb{R}: x^3 = x^2] \equiv \forall x \in \mathbb{R}: x^3 \neq x^2 \]
«Para todo número real, \( x^3 \neq x^2 \)». (Esto es falso, ya que \( x = 0 \) y \( x = 1 \) cumplen \( x^3 = x^2 \).)
Ejemplo 3: Negar \( \forall x \in A: P(x) \rightarrow Q(x) \)
Aplicamos las dos técnicas: primero cambiamos el cuantificador, luego negamos el condicional usando la equivalencia de la negación del condicional (\( \neg(p \rightarrow q) \equiv p \land \neg q \)):
\[ \neg[\forall x \in A: P(x) \rightarrow Q(x)] \equiv \exists x \in A: P(x) \land \neg Q(x) \]
Ejemplo 4: Negar \( \exists x \in \mathbb{R}: 1 \leq x^2 < 4 \)
\[ \neg[\exists x \in \mathbb{R}: 1 \leq x^2 < 4] \equiv \forall x \in \mathbb{R}: x^2 < 1 \lor x^2 \geq 4 \]
La desigualdad compuesta \( 1 \leq x^2 < 4 \) se niega separando en dos condiciones unidas por «o».
Funciones proposicionales con más de una variable
Hasta ahora hemos trabajado con funciones proposicionales de una sola variable. Pero también existen funciones proposicionales de dos o más variables.
Definición
Una función proposicional de \( n \) variables tiene la forma \( P(x_1, x_2, …, x_n) \), y se convierte en proposición cuando se asignan valores a todas las variables.
Ejemplos
Ejemplo 1: \( P(x, y) \): «\( x + y = 10 \)»
- \( P(3, 7) \): «\( 3 + 7 = 10 \)» → V
- \( P(2, 5) \): «\( 2 + 5 = 10 \)» → F
Ejemplo 2: \( P(x, y) \): «\( x \) es hermano de \( y \)»
- \( P(\text{Juan}, \text{María}) \): «Juan es hermano de María» → V o F según el caso
Ejemplo 3: \( P(x, y, z) \): «\( x + y + z = 1 \)»
- \( P(2, 3, -4)\): «\( 2 + 3 + (-4) = 1 \)» → V
- \( P(1, 1, 1) \): «\( 1 + 1 + 1 = 1 \)» → F
Proposiciones con múltiples cuantificadores
Cuando una función proposicional tiene dos o más variables, podemos aplicar un cuantificador a cada una. Esto nos lleva a expresiones con múltiples cuantificadores, como:
\[ \forall x, \exists y: P(x, y) \]
La regla fundamental: el orden importa
El orden de los cuantificadores puede cambiar completamente el significado de la proposición.
Veamos un ejemplo clásico para entender por qué.
Ejemplo detallado: \( x + y + z = 1 \)
Sea \( P(x, y, z) \): «\( x + y + z = 1 \)» con dominio \( \mathbb{R} \).
Proposición A: \( \forall z, \exists y, \forall x: x + y + z = 1 \)
Lectura: «Para todo \( z \), existe un \( y \) tal que, para todo \( x \), se cumple \( x + y + z = 1 \)».
Analicemos: tomemos \( z = -3 \). La proposición afirma que existe un \( y_0 \) tal que para cualquier \( x \) se cumple \( x + y_0 – 3 = 1 \), es decir, \( y_0 + x = 4 \).
- Si \( x = 1 \): \( y_0 = 3 \)
- Si \( x = 0 \): \( y_0 = 4 \)
¡El mismo \( y_0 \) debería valer 3 y 4 simultáneamente! Imposible. → Falsa ❌
Proposición B: \( \forall z, \forall x, \exists y: x + y + z = 1 \)
Lectura: «Para todo \( z \) y para todo \( x \), existe un \( y \) tal que \( x + y + z = 1 \)».
Aquí, para cada par \( (z, x) \) buscamos un \( y \) (que puede ser diferente cada vez):
- Si \( z = 2 \), \( x = 1 \): \( y = -2 \) ✓
- Si \( z = 0 \), \( x = 2 \): \( y = -1 \) ✓
- Para cualquier \( z \) y \( x \): \( y = 1 – x – z \) ✓
→ Verdadera ✅
Conclusión: Las proposiciones A y B tienen los mismos cuantificadores y la misma función proposicional, pero al cambiar el orden de \( \forall x \) y \( \exists y \), el valor de verdad cambia. Esto demuestra que el orden de los cuantificadores es esencial.
Ejemplo con conjuntos finitos
Sea \( H = {\text{Juan, Luis, Rubén}} \) y \( M = {\text{Carmen, Patricia}} \), y \( P(x, y) \): «\( x \) es hermano de \( y \)».
Proposición 1: \( \forall x \in H, \exists y \in M: P(x, y) \)
«Para todo hombre de \( H \), existe una mujer de \( M \) tal que él es su hermano.» → Cada hombre es hermano de al menos una de las mujeres.
Proposición 2: \( \exists y \in M, \forall x \in H: P(x, y) \)
«Existe una mujer de \( M \) que es hermana de todos los hombres de \( H \).» → Al menos una mujer es hermana de todos los hombres.
Claramente, la Proposición 2 es mucho más restrictiva que la Proposición 1. No son lo mismo.
Cuándo SÍ da igual el orden
Cuando ambos cuantificadores son iguales, el orden no importa:
- \( \forall x, \forall y: P(x,y) \equiv \forall y, \forall x: P(x,y) \)
- \( \exists x, \exists y: P(x,y) \equiv \exists y, \exists x: P(x,y) \)
El orden solo importa cuando se mezclan \( \forall \) con \( \exists \).
Ejemplo con conjuntos finitos comprobado paso a paso
Sea \( A = {0, 1, 2} \). Determinar el valor de verdad de:
\( \forall x \in A, \forall y \in A: y^2 \leq 4(x + 1) \)
Verificamos todos los pares posibles:
| \( x \) | \( y \) | \( y^2 \) | \( 4(x+1) \) | \( y^2 \leq 4(x+1) \) |
|---|---|---|---|---|
| 0 | 0 | 0 | 4 | ✓ |
| 0 | 1 | 1 | 4 | ✓ |
| 0 | 2 | 4 | 4 | ✓ |
| 1 | 0 | 0 | 8 | ✓ |
| 1 | 1 | 1 | 8 | ✓ |
| 1 | 2 | 4 | 8 | ✓ |
| 2 | 0 | 0 | 12 | ✓ |
| 2 | 1 | 1 | 12 | ✓ |
| 2 | 2 | 4 | 12 | ✓ |
Todos cumplen → Verdadera ✅
¿Qué pasa si no cuantificamos todas las variables?
Un detalle importante: si una función proposicional tiene \( n \) variables y le aplicamos un cuantificador a una sola de ellas, no obtenemos una proposición, sino una función proposicional de \( n – 1 \) variables. Solo cuando cuantificamos todas las variables obtenemos una proposición.
Veámoslo paso a paso con \( P(x, y, z) \): «\( x + y + z = 1 \)»:
- \( P(x, y, z) \) → Función proposicional de 3 variables (no es proposición)
- \( \forall x: x + y + z = 1 \) → Función proposicional de 2 variables: \( y \), \( z \) (aún no es proposición)
- \( \exists y, \forall x: x + y + z = 1 \) → Función proposicional de 1 variable: \( z \) (aún no es proposición)
- \( \forall z, \exists y, \forall x: x + y + z = 1 \) → Proposición (ya no quedan variables libres)
Negación con múltiples cuantificadores
Para negar una proposición con múltiples cuantificadores, aplicamos la misma regla de antes de izquierda a derecha: cada cuantificador cambia (\( \forall \leftrightarrow \exists \)) y la propiedad al final se niega.
Regla general
\[ \neg[\forall x, \exists y: P(x, y)] \equiv \exists x, \forall y: \neg P(x, y) \]
\[ \neg[\exists x, \forall y: P(x, y)] \equiv \forall x, \exists y: \neg P(x, y) \]
Ejemplos resueltos
Los siguientes ejemplos que veremos a continuación vienen con algunas propiedades de equivalencias lógicas que estudiamos anteriormente.
Ejemplo 1: Negar \( (\forall x)(\exists y)[P(x) \rightarrow (Q(y) \rightarrow R(x))] \)
Paso 1 — Cambiamos los cuantificadores: \[ (\exists x)(\forall y) \neg [P(x) \rightarrow (Q(y) \rightarrow R(x))] \]
Paso 2 — Negamos el condicional exterior (\( \neg(p \rightarrow q) \equiv p \land \neg q \)): \[ (\exists x)(\forall y)[P(x) \land \neg(Q(y) \rightarrow R(x))] \]
Paso 3 — Negamos el condicional interior: \[ (\exists x)(\forall y)[P(x) \land Q(y) \land \neg R(x)] \]
Ejemplo 2: Negar \( (\forall x)(\exists y)(\exists z)[P(x, y) \rightarrow Q(x) \land R(z)] \)
Paso 1 — Cambiamos cuantificadores: \[ (\exists x)(\forall y)(\forall z) \neg [P(x, y) \rightarrow Q(x) \land R(z)] \]
Paso 2 — Negamos el condicional: \[ (\exists x)(\forall y)(\forall z)[P(x, y) \land \neg(Q(x) \land R(z))] \]
Paso 3 — Aplicamos De Morgan al interior: \[ (\exists x)(\forall y)(\forall z)[P(x, y) \land (\neg Q(x) \lor \neg R(z))] \]
Ejemplo 3: Negar \( \forall x \in A, \exists y \in B: E(x) \rightarrow F(y) \)
\[ \neg[\forall x \in A, \exists y \in B: E(x) \rightarrow F(y)] \equiv \exists x \in A, \forall y \in B: E(x) \land \neg F(y) \]
Pasos para negar cualquier proposición cuantificada
- Cambia cada cuantificador: \( \forall \leftrightarrow \exists \)
- Niega la función proposicional del final
- Si la función contiene conectivos, aplica las reglas de negación conocidas:
- \( \neg(p \rightarrow q) \equiv p \land \neg q \)
- \( \neg(p \land q) \equiv \neg p \lor \neg q \) (De Morgan)
- \( \neg(p \lor q) \equiv \neg p \land \neg q \) (De Morgan)
Aplicaciones de los cuantificadores
Los cuantificadores no son solo teoría: tienen aplicaciones directas en múltiples áreas.
1. Definiciones formales en Matemáticas
La famosa definición de límite de una función usa cuantificadores:
\[ \lim_{x \to x_0} f(x) = L \iff \forall \varepsilon > 0, \exists \delta > 0: |x – x_0| < \delta \implies |f(x) – L| < \varepsilon \]
Esta definición dice: «Para todo margen de error \( \varepsilon \) (por pequeño que sea), existe una distancia \( \delta \) tal que si \( x \) está a menos de \( \delta \) de \( x_0 \), entonces \( f(x) \) está a menos de \( \varepsilon \) de \( L \).»
2. Teoría de Conjuntos
Los cuantificadores son fundamentales para definir y demostrar propiedades de conjuntos:
| Concepto | Definición formal |
|---|---|
| Subconjunto | \( A \subseteq B \iff \forall x(x \in A \rightarrow x \in B) \) |
| Igualdad | \( A = B \iff \forall x(x \in A \leftrightarrow x \in B) \) |
| Intersección vacía | \( A \cap B = \emptyset \iff \neg \exists x(x \in A \land x \in B) \) |
| Conjunto vacío | \( A = \emptyset \iff \forall x(x \notin A) \) |
3. Programación y bases de datos
En SQL (un lenguaje para consultar bases de datos), los cuantificadores aparecen directamente como palabras clave:
Cuantificador existencial (∃) → EXISTS
SELECT * FROM estudiantes
WHERE EXISTS (SELECT 1 FROM notas WHERE notas.id = estudiantes.id AND nota > 90);
¿Qué hace? Busca los estudiantes para los cuales existe al menos una nota mayor a 90. La palabra EXISTS (del inglés «existe») cumple exactamente el papel de \( \exists \): la consulta devuelve un estudiante si hay al menos un registro en la tabla de notas que cumpla la condición.
Cuantificador universal (∀) → NOT EXISTS ... NOT IN
SELECT * FROM estudiantes
WHERE NOT EXISTS (SELECT 1 FROM materias WHERE materias.id NOT IN
(SELECT materia_id FROM inscripciones WHERE inscripciones.estudiante_id = estudiantes.id));
¿Qué hace? Busca los estudiantes que estén inscritos en todas las materias. Curiosamente, SQL no tiene una palabra directa para «para todo» (\( \forall \)), así que se expresa negando dos veces: «no existe ninguna materia en la que no esté inscrito», que por los teoremas de De Morgan equivale a «está inscrito en todas» — exactamente como \( \forall x: P(x) \equiv \neg \exists x: \neg P(x) \).
4. Inteligencia Artificial
En el campo de la inteligencia artificial, los sistemas expertos son programas diseñados para tomar decisiones como lo haría un especialista humano en un área específica (por ejemplo, diagnosticar enfermedades o aprobar préstamos bancarios). Para funcionar, estos programas necesitan almacenar reglas de conocimiento, y lo hacen expresándolas con lógica y cuantificadores.
El componente que evalúa esas reglas y saca conclusiones se llama motor de inferencia — funciona de manera similar a como nosotros aplicamos reglas de inferencia (Modus Ponens, silogismos, etc.), pero de forma automática.
Por ejemplo, un sistema experto médico podría tener reglas como:
- \( \forall x: \text{Humano}(x) \rightarrow \text{Mortal}(x) \) → «Todo humano es mortal»
- \( \forall x: \text{Fiebre}(x) \land \text{Tos}(x) \rightarrow \text{PosibleGripe}(x) \) → «Si un paciente tiene fiebre y tos, es posible gripe»
- \( \exists x: \text{Robot}(x) \land \text{Inteligente}(x) \) → «Existe un robot inteligente»
Cuando el sistema recibe datos de un paciente concreto, el motor de inferencia aplica estas reglas automáticamente para llegar a una conclusión — usando exactamente la misma lógica de cuantificadores que estamos estudiando.
Ejercicios prácticos
Sección A: Determinar el valor de verdad
Sea \( A = {0, 1, 2, 3} \) y \( B = {4, 2, 0, -2} \). Determina si cada proposición es verdadera o falsa:
- \( \forall x \in A, \forall y \in B: 2x + y = 4 \)
- \( \forall x \in A, \exists y \in B: (x – 1)^2 > y \)
- \( \exists y \in B: \forall x \in A, (x – 1)^2 > y \)
- \( \exists x \in A: x^2 = x \)
- \( \forall x \in A: x^2 \geq x \)
Sección B: Negar las siguientes proposiciones
- \( \forall x \in \mathbb{N}: x + 2 < 5 \)
- \( \exists x \in \mathbb{R}: x^2 = -1 \)
- \( \forall x \in A, \exists y \in B: (x – 1)^2 > y \)
- \( \exists y \in B: \forall x \in A, (x – 1)^2 > y \)
- \( (\forall x)(\exists y)[P(x) \rightarrow Q(y)] \)
Sección C: Traducir al lenguaje simbólico
Expresa las siguientes afirmaciones usando cuantificadores:
- «Todos los números pares son divisibles por 2.»
- «Existe un número real cuyo cuadrado es igual a 2.»
- «No todos los triángulos son equiláteros.»
- «Ningún número natural es negativo.»
Respuestas
Respuestas Sección A
- Falsa. Si \( x = 0 \), necesitamos \( y = 4 \) para todos los \( y \in B \), pero \( 2(0) + 2 = 2 \neq 4 \). No se cumple para todo \( y \).
- Verdadera. Para cada \( x \), verificamos que exista algún \( y \) que funcione:
- \( x = 0 \): \( (0-1)^2 = 1 > y \) → con \( y = -2 \) ✓
- \( x = 1 \): \( (1-1)^2 = 0 > y \) → con \( y = -2 \) ✓
- \( x = 2 \): \( (2-1)^2 = 1 > y \) → con \( y = -2 \) ✓
- \( x = 3 \): \( (3-1)^2 = 4 > y \) → con \( y = -2 \) ✓
- Verdadera. Basta con que un solo \( y \) funcione para todos los \( x \). Con \( y = -2 \): \( (x-1)^2 > -2 \) es verdadero para todo \( x \) (porque un cuadrado siempre es \( \geq 0 > -2 \)).
- Verdadera. \( x = 0 \): \( 0^2 = 0 \) ✓, y también \( x = 1 \): \( 1^2 = 1 \) ✓.
- Verdadera. Para todo \( x \in {0,1,2,3} \):
- \( 0^2 = 0 \geq 0 \) ✓
- \( 1^2 = 1 \geq 1 \) ✓
- \( 2^2 = 4 \geq 2 \) ✓
- \( 3^2 = 9 \geq 3 \) ✓
Respuestas Sección B
- \( \neg[\forall x \in \mathbb{N}: x + 2 < 5] \equiv \exists x \in \mathbb{N}: x + 2 \geq 5 \)
- \( \neg[\exists x \in \mathbb{R}: x^2 = -1] \equiv \forall x \in \mathbb{R}: x^2 \neq -1 \)
- \( \neg[\forall x \in A, \exists y \in B: (x-1)^2 > y] \equiv \exists x \in A, \forall y \in B: (x-1)^2 \leq y \)
- \( \neg[\exists y \in B: \forall x \in A, (x-1)^2 > y] \equiv \forall y \in B, \exists x \in A: (x-1)^2 \leq y \)
- \( \neg[(\forall x)(\exists y)(P(x) \rightarrow Q(y))] \equiv (\exists x)(\forall y)(P(x) \land \neg Q(y)) \)
Respuestas Sección C
- Sea \( P \) = conjunto de los números pares: \( \forall x \in P: 2 \mid x \) (o bien: \( \forall x: \text{par}(x) \rightarrow 2 \mid x \))
- \( \exists x \in \mathbb{R}: x^2 = 2 \)
- \( \neg[\forall x: \text{triángulo}(x) \rightarrow \text{equilátero}(x)] \equiv \exists x: \text{triángulo}(x) \land \neg\text{equilátero}(x) \)
- \( \forall x \in \mathbb{N}: x \geq 0 \) (o bien: \( \neg\exists x \in \mathbb{N}: x < 0 \))
Resumen
Conceptos clave
| Concepto | Definición |
|---|---|
| Función proposicional | Expresión con variables que se convierte en proposición al sustituirlas. Ejemplo: \( P(x): x > 5 \) |
| Cuantificador universal \( \forall \) | «Para todo». \( \forall x: P(x) \) es V si todos cumplen \( P(x) \) |
| Cuantificador existencial \( \exists \) | «Existe al menos uno». \( \exists x: P(x) \) es V si alguno cumple \( P(x) \) |
| Cuantificador de unicidad \( \exists! \) | «Existe exactamente uno». \( \exists! x: P(x) \) es V si hay un único \( x \) |
Negación de cuantificadores
| Original | Negación |
|---|---|
| \( \forall x: P(x) \) | \( \exists x: \neg P(x) \) |
| \( \exists x: P(x) \) | \( \forall x: \neg P(x) \) |
Orden de cuantificadores
- \( \forall x, \forall y \) = \( \forall y, \forall x \) → el orden no importa
- \( \exists x, \exists y \) = \( \exists y, \exists x \) → el orden no importa
- \( \forall x, \exists y \) ≠ \( \exists y, \forall x \) → el orden SÍ importa
¿Qué viene después?
Ahora que has aprendido los cuantificadores lógicos, tenemos las herramientas necesarias para el siguiente tema: la Teoría de Conjuntos. En esa serie aprenderás a definir conjuntos formalmente, demostrar propiedades como la inclusión y la igualdad, y utilizar operaciones como la unión, la intersección y la diferencia — todo ello expresado con las mismas herramientas de lógica y cuantificadores que acabas de aprender.
¿Te resultó útil esta publicación? ¡Déjame un comentario con tus dudas o sugerencias! Y no olvides revisar la próxima entrega de esta serie sobre lógica matemática.