CUANTIFICADORES

Cuando se habla de cuantificadores en trminos de Lgica, Teora de Conjuntos o Matemticas en general, se hace referencia a aquellos smbolos que se utilizan para indicar cantidad en una proposicin, es decir, permiten establecer cuntos elementos de un conjunto determinado, cumplen con cierta propiedad.

Los cuantificadores permiten la construccin de proposiciones a partir de funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo, si consideramos la funcin proposicional: P(x) = x es menor que dos Esto podra particularizarse as: Existe un nmero real que es menor que dos o generalizarlo diciendo: Todos los nmeros reales son menores que dos. En cualquiera de los dos casos, se especifica un conjunto donde est tomando valores la variable, para nuestro ejemplo, el conjunto de los nmeros reales. Para notar la particularizacin y la generalizacin, se utiliza la siguiente simbologa, respectivamente:

que se lee: existe un equis que pertenece a erre (a los reales), tal que equis es menor que dos Mientras que

se lee: para todo equis que pertenece a erre (a los reales), se cumple que equis es menor que dos El smbolo (para todo) se denomina cuantificador universal, y el smbolo menos un) se denomina cuantificador existencial. (existe al

As, un cuantificador transforma una funcin proposicional, en una proposicin a la cual se le asigna un valor de verdad. Los cuantificadores ms utilizados son entonces: CUANTIFICADOR UNIVERSAL (para todo): se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una condicin o propiedad determinada. Esto se expresa como:

CUANTIFICADOR EXISTENCIAL (existe al menos un): se utiliza para indicar que existen uno o ms elementos en el conjunto A que cumple(n) con una condicin o propiedad determinada.

CUANTIFICADOR EXISTENCIAL NICO (existe un nico): se utiliza para indicar que existe exactamente un elemento en el conjunto A que cumple con una condicin o propiedad determinada.

NEGACIN DE PROPOSICIONES CON CUANTIFICADORES Sea p(x) una funcin proposicional con extensin A, entonces:

.1) Si A = 0, 1, 2, 3, 4, 5 Cules de las siguientes proposiciones son verdaderas? a) b) c) d) x x x x A A A A / / , / x2 = x y A, xy 0 y A / x + 2 = y y A, x + y es par

2) . Exprese la negacin de todas las proposiciones del ejercicio 1.y 2.

3) Sea P (x) = " x aumentado en 9, es mayor o igual que 13".De acuerdo a esta proposicin es incorrecto sealar que:
a) x que cumple p(x) d) x > 14 se cumple p(x) 4) b) x > 3 se cumple p(x) c) x4 se cumple p(x)