Matemáticas/Lógica/Cuantificador
< Matemáticas | Lógica
Ir a la navegación
Ir a la búsqueda
Los cuantificadores señalan el número de elementos del dominio cumplen la proposición,
Para todo[editar]
Se usa el símbolo llamado cuantificador universal, para reemplazar la frase para todo, dicho símbolo expresará que la proposición debe ser verdadera para todos los valores de la variable:
Para todo x de D se cumple p(x).
- Que significa que la proposición p(x) debe ser verdadera para toda x en su dominio.
- Esta expresión es a su vez una nueva proposición por lo cual debe poseer un valor de verdad.
- Esta proposición será falsa si al menos un elemento x del dominio hace que p(x) sea falsa.
- A pesar de que en la proposición interviene la variable x, esta proposición no es abierta.
Existe[editar]
El cuantificador de existencia, representado: , con el significado exise, la proposición a de ser verdadera cuando menos en un caso:
Existe x de D que cumple p(x).
- Que significa que la proposición p(x) es verdadera cuandomenos para un valor de x del dominio.
- Esta proposición será falsa si para ningun elemento x del dominio se cumple p(x).
Existe un unico[editar]
Existe un unico, representado: , que significa existe un unico, la proposición ha de ser cierta para un unico caso de la variable:
Existe un unico x de D que cumple p(x).
- Esta proposición solo es cierta si uno y solo un x cumple la proposición.
(este artículo será ampliado en breve )