En lógica, un cuantificador es una forma de afirmar que un determinado número de elementos cumple algún criterio. Por ejemplo, todo número natural tiene otro número natural mayor que él. En este ejemplo, la palabra "todo" es un cuantificador. Por tanto, la frase "todo número natural tiene otro número natural mayor que él" es una expresión cuantificada. Los cuantificadores y las expresiones cuantificadas son una parte útil de los lenguajes formales. Son útiles porque permiten afirmar con rigor la extensión de un criterio. Dos tipos básicos de cuantificadores utilizados en la lógica de predicados son los cuantificadores universales y existenciales. Un cuantificador universal afirma que todos los elementos considerados cumplen el criterio. El cuantificador universal se simboliza con "∀", una "A invertida, para significar "todos". Un cuantificador de existencia (simbolizado con "∃") afirma que al menos un elemento considerado cumple los criterios. El cuantificador existencial se simboliza con "∃", una "E" al revés, para significar "existe".

Definición formal y notación

En lógica de primer orden (o lógica de predicados) los cuantificadores se usan para construir fórmulas a partir de predicados. La notación habitual es:

  • Cuantificador universal: ∀x P(x) — se lee "para todo x, P(x)" o "todos los x satisfacen P".
  • Cuantificador existencial: ∃x P(x) — se lee "existe algún x tal que P(x)" o "hay al menos un x que satisface P".

Aquí P(x) es una fórmula (un predicado) que puede depender de la variable x. Es muy importante especificar el dominio de discurso (el conjunto sobre el que varía x), porque el significado de una fórmula cuantificada depende de ese dominio.

Semántica (qué significa que una fórmula sea verdadera)

  • La fórmula ∀x P(x) es verdadera si y sólo si, para cada elemento del dominio, la fórmula P(x) es verdadera cuando x toma ese elemento.
  • La fórmula ∃x P(x) es verdadera si y sólo si existe al menos un elemento del dominio para el cual P(x) es verdadera.

Cuando el dominio es vacío, la afirmación ∀x P(x) se considera verdadera (verdad vacía) y ∃x P(x) se considera falsa, salvo que se especifique otra convención.

Negación y reglas básicas

Las leyes de De Morgan para cuantificadores permiten transformar negaciones:

  • ¬(∀x P(x)) ≡ ∃x ¬P(x). — "No es cierto que todos satisfacen P" equivale a "existe alguien que no satisface P".
  • ¬(∃x P(x)) ≡ ∀x ¬P(x). — "No existe nadie que satisfaga P" equivale a "todos no satisfacen P".

Estas equivalencias son útiles para simplificar expresiones y para demostrar teoremas.

Variables libres y variables ligadas (alcance)

En ∀x P(x) y ∃x P(x) la variable x está ligada por el cuantificador. Si aparece una variable en una fórmula sin estar dentro del alcance de un cuantificador que la vincule, se dice que la variable está libre. Por ejemplo:

  • P(x) tiene x libre.
  • ∀x P(x) no tiene x libre (x está ligada).
  • ∀x (P(x) → Q(y)) tiene x ligado y y libre.

El alcance (scope) de un cuantificador es la subfórmula en la que la variable queda ligada. El orden y el alcance son importantes: ∀x ∃y R(x,y) no es equivalente, en general, a ∃y ∀x R(x,y).

Orden de cuantificadores: por qué importa

Cuando se anidan cuantificadores, el orden puede cambiar totalmente el significado. Ejemplos sobre el dominio de las personas y la relación "ama":

  • ∀x ∃y Ama(y,x) — "Para cada persona x, existe alguna persona y que la ama". (Cada persona tiene al menos un amante)
  • ∃y ∀x Ama(y,x) — "Existe alguien y que ama a todas las personas". (Hay una persona que ama a todo el mundo)

Estas dos fórmulas no son equivalentes y generalmente expresan ideas distintas.

Cuantificador de unicidad

Además de ∀ y ∃, a veces se usa el cuantificador de unicidad ∃!, que afirma que existe exactamente un elemento que satisface la propiedad. Formalmente se puede definir:

∃!x P(x) ≡ ∃x (P(x) ∧ ∀y (P(y) → y = x)).

Es decir, existe un x tal que P(x) y cualquier otro y que satisfaga P debe ser igual a x.

Ejemplos y traducciones desde el lenguaje natural

  • "Todo número natural tiene un sucesor mayor": ∀n (N(n) → ∃m (N(m) ∧ m = n+1)).
  • "Existe un número natural que es primo": ∃n (N(n) ∧ Primo(n)).
  • "Hay exactamente un número par que es mayor que 1000 y menor que 1002": ∃!n (Par(n) ∧ 1000 < n < 1002).
  • "No hay estudiantes en la clase": ¬∃x Estudiante(x) o, equivalentemente, ∀x ¬Estudiante(x) si el dominio es la clase.

Cuantificadores en lenguas naturales

En lenguaje natural aparecen cuantificadores más vagos: muchos, pocos, la mayoría, ninguno, algunos, etc. Al formalizarlos suele requerirse mayor precisión (por ejemplo, mediante cuantificadores numéricos: "al menos k", "más de la mitad", o usando teoría de la probabilidad o de conjuntos difusos). En inglés, ejemplos de palabras cuantificadoras son for all, for some, many, few, a lot y no, como ya se mencionó.

Usos y transformaciones en lógica matemática

Los cuantificadores se usan en demostraciones, en la definición de teorías matemáticas y en la formulación de propiedades (por ejemplo: continuidad, integrabilidad, limites). Existen formas normales (como la forma prenex) que mueven todos los cuantificadores al frente de la fórmula para ciertos propósitos de demostración o análisis computacional.

Consejos prácticos

  • Siempre especifique el dominio de discurso al traducir una frase natural a lógica formal.
  • Preste atención a la dirección de la implicación y al orden de cuantificadores: suelen causar errores de interpretación.
  • Use las leyes de negación de cuantificadores para transformar y simplificar expresiones lógicas.

Si quieres, puedo:

  • Traducir frases concretas del lenguaje natural a lógica de predicados.
  • Explicar con más ejemplos la interacción entre cuantificadores y conectivos lógicos.
  • Mostrar cómo se prueban o refutan fórmulas cuantificadas mediante contraejemplos.