CUANTIFICADORES
Un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen dos tipos de cuantificadores, cuyas características resumimos en la siguiente tabla:
Nombre Notación Se lee
cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...
Nombre Notación Se lee
cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...
Las variables, también pueden ser cuantificadas. Los cuantificadores que típicamente se utilizan en lógica de predicados son:
El cuantificador universal; " indica que la fórmula bien formada, dentro de su alcance, es verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
" X . . . .
Establece que "para todo X, es verdad que. . . "
El cuantificador existencial; $, indica que la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio. Por ejemplo: $ X. . . .
El cuantificador universal; " indica que la fórmula bien formada, dentro de su alcance, es verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
" X . . . .
Establece que "para todo X, es verdad que. . . "
El cuantificador existencial; $, indica que la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio. Por ejemplo: $ X. . . .
Es decir:
Universales (En lógica matemática, se usa el símbolo ): indica que algo es cierto “para todo”, indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompañe.
Existencia (En lógica matemática, se usa el símbolo ): antepuesto a una variable para decir que "existe" Indica que las funciones que se escribe a su derecha se verifica, al menos considera un valor para la variable.