Cuatificadores Cuantificadores En légica, teoria de conjuntos y matemiticas en general, los cuantificadores son simbolos utilizados para indicar eudntos elementos de un conjunto dado cumplen con cierta propiedad. El cuantificador universal indica que algo es cierto para totios los individuos. Sea A.una expresicn y sea x una variable. Si deseamos indicar que A es verdadero para todos las posibles valores de x, eseribiremos (vx) A. Cuantifieador Existencial La euantificacién existencial de P(x) "Es la proposicién en que existe un elemento x en. eluniverso de discurso tal que P(x) es verdad”, Se denota con el simbolo 4 xy se lee de las siguientes maneras: “hay un x tal que...)", “hay almenos un x tal que..." 0 “para algin EJEMPLOS: ‘Todos los humanos respiran (¥ x) CHG) — R(x) donde el predieado H signifiea humanos, R respiran y x es un elemento de un dorninio general que podria ser el de las personas o cualquier subconjunto deseado. ‘Todos los alunos son estudiosos (vx) (A(s) — EGD) donde el predicado A significa alumno, E estudioso y xes un elemento de un dominio general que podria ser el de las personas o cualquier subconjunto deseado.