Matemáticas/Lógica/Cuantificador

De Wikilibros, la colección de libros de texto de contenido libre.
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 )