El cuantificador existencial expresa que al menos un elemento del dominio cumple una propiedad o relación.
El cuantificador existencial permite expresar afirmaciones del tipo "existe", "hay al menos uno" o "algún elemento cumple".
En lógica de predicados se representa con el símbolo ∃.
El cuantificador existencial indica que existe al menos un elemento del dominio que cumple una propiedad.
Se lee: existe al menos un x tal que se cumple P(x).
Si el dominio son los números naturales:
Se lee: existe al menos un número natural que es par.
Si el dominio son los productos de una tienda:
Se lee: existe al menos un producto sin stock.
Para demostrar que una afirmación existencial es verdadera, alcanza encontrar un ejemplo que cumpla la propiedad. A ese ejemplo se lo llama a veces testigo.
Para demostrar que una afirmación existencial es falsa, debemos verificar que ningún elemento del dominio cumple la propiedad.
No hay ningún elemento par en ese dominio.
| Cuantificador | Símbolo | Significado | Para refutarlo |
|---|---|---|---|
| Universal | ∀ | Todos cumplen | Alcanza un contraejemplo |
| Existencial | ∃ | Al menos uno cumple | Hay que mostrar que ninguno cumple |
Muchas afirmaciones existenciales indican que un elemento cumple varias propiedades.
Se lee: existe al menos un x tal que x es producto y x está sin stock.
La frase "existe un producto sin stock" no suele representarse como:
La forma correcta, en general, es:
Para existencia, la conjunción suele expresar que el mismo objeto tiene ambas propiedades.
El método some permite verificar si al menos un elemento de una colección cumple una condición.
const productos = [
{ nombre: "Teclado", stock: 5 },
{ nombre: "Mouse", stock: 0 }
];
const existeSinStock = productos.some(producto => producto.stock === 0);
console.log(existeSinStock);Además de saber que existe un elemento, muchas veces queremos encontrarlo.
const productoSinStock = productos.find(producto => producto.stock === 0);
console.log(productoSinStock);El elemento encontrado funciona como testigo de la afirmación existencial.
Una afirmación existencial sobre un dominio vacío es falsa, porque no hay ningún elemento que pueda cumplir la propiedad.
const productos = [];
const existeSinStock = productos.some(producto => producto.stock === 0);
console.log(existeSinStock);El resultado es false.
| Lenguaje natural | Forma lógica |
|---|---|
| Existe un usuario bloqueado | ∃x UsuarioBloqueado(x) |
| Hay un producto sin stock | ∃x (Producto(x) ∧ SinStock(x)) |
| Algún pedido está pendiente | ∃x PedidoPendiente(x) |
| Existe un cliente con descuento | ∃x (Cliente(x) ∧ TieneDescuento(x)) |
El cuantificador existencial permite expresar que una propiedad se cumple al menos una vez dentro de un dominio. Es fundamental para representar búsquedas, excepciones y existencia de casos en sistemas.
En el próximo tema estudiaremos la negación de cuantificadores.