CUANTIFICADORES

La definición de "Cuantificadores" comprende cálculos matemáticos, que vinculan una serie de variables. De este modo, se habla de un "Cuantificador" para determinar un valor como verdadero y falso, válido o inválido.

Pueden observarse dos tipos de Cuantificadores:

Por un lado el Universal puede declararse como: "para todo x, es verdad que p" y

"existe por lo menos un y tal que q es verdad", a partir de la simbología correspondiente.El otro factor que entra en juego, es el "Cuantificador Existencial", empleado para identificar que por lo menos un elemento de un conjunto ~A está acorde con una propiedad.

Los cuantificadores nos permitirán escribir verdades que hagan referencia a algunos elementos del dominio. Hay dos cuantificadores:

El cuantificador universal: . Cuando se pone (``para todo , de ''), se quiere decir que todos los elementos del dominio cumplen la propiedad .

El cuantificador existencial: . (``existe un tal que de '') quiere decir que al menos un elemento del dominio cumple la propiedad .