3.2.1 Cuantificadores

Cuantificadores

En lógica, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad.

El cuantificador universal indica que algo es cierto para todos los individuos.

Sea A una expresión y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x, escribiremos (∀x) A.

Cuantificador Existencial

La cuantificación existencial de P(x) “Es la proposición en que existe un elemento x en el universo de discurso tal que P(x) es verdad”.

Se denota con el símbolo ∃ x y se lee de las siguientes maneras: “hay un x tal que…)”, “hay al menos un x tal que…” o “para algún x…”.

EJEMPLOS:

Todos los humanos respiran

(∀ x) (H(x) → R(x)) donde el predicado H significa humanos, R respiran y x es un elemento de un dominio general que podría ser el de las personas o cualquier subconjunto deseado.

Todos los alumnos son estudiosos

(∀ x) (A(x) → E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que podría ser el de las personas o cualquier subconjunto deseado.