Concepto de cuantificadores

Los cuantificadores son símbolos que determinan una cantidad categórica

Los cuantificadores se dividen en dos
Cuantificador universal símbolo
Implica una particulización de objetos es por ello que se hace necesario
generalizarse forma que se puede afirmar cada cosa del universo determinado
Sea A una expresión, y x una variable, si deseamos indicar que A es verdadero
para todos los posibles valores de x escribiremos que χA. Aquí χ se denomina
cuantificador universal y A se denomina ámbito (Alcance) cuantificador universal
El símbolo se denomina para todo
Son proposiciones abierta si son
Contiene una o más variables}
No es una preposición
Se convierte en una preposición cuando las variables que aparecen en ella
se remplazan por ciertas opciones permisibles
tipos de cuantificadores universales
las frases que se usan para denotar el cuantificador universal afirmativo son
Para todo
Para cada
Para cualquier
Ejemplo todos los chilenos comen salmón y juegan futbol
Cuantificador universal negativo
Las frases que se usan son
Para ningún x
No
Nadie
Nada
Ejemplo (ningún empleado público es menor de edad) en este caso ningún
empleado público, hace referencia a todo un universo de todos los empleados y el
predicado es menor de edad
2 Cuantificador existencial símbolo
Es otro cuantificador de cálculos de predicados en cual algunos valores son
verdaderos
Sea A una expresión y X una variable si deseamos indicar que A es verdadero
para cuando menos un valor de x escribiremos ∃χA la frase se lee existe un x tal
que A aquí ∃χA se denomina cuantificador existencial y se dice que A es ámbito
de alcance el símbolo ∃ se lee existe al menos
Algunas de las frases son
Existe algún
Algunos
Existe por lo menos
Ejemplo existe al menos un mexicano que escribe poemas y es político se
formaliza de la siguiente manera
∃χ (mexicano X →escribe poema X ⋏ político X)