Apuntes de Matemtica

Cuantificadores
1. Cuantificadores
En las clases pasadas estudiamos el valor de verdad de las proposiciones, pero ahora analizaremos cuntos elementos de un conjunto dado cumplen con cierta condicionante. Para decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. Hay tres cuantificadores bsicos: el cuantificador universal, el cuantificador existencial y el cuantificador existencial con marca de unicidad.

Definicin: Una funcin proposicional es una expresin que contiene una o ms de una variable que al ser sustituidas por elementos del universo (U) dan origen a una proposicin. Ntese entonces que la funcin proposicional no es una proposicin, por lo tanto, no se puede decir nada acerca de su valor de verdad.

Notacin: Escribiremos por funcin proposicional, p ( x) p ( x, y ) segn sean una o dos variables.

Ejemplos
1 Sea U = IN
p ( x, y ) : x 2 y = 2 entonces p (1, 0) :12 0 = 2

Es Falso Es Verdadero

p (0, 2) : 0 ( 2 ) = 2

2 Sea U = IR

p( x) : 3 x 1 < 6

entonces

p (1) : 3 1 < 6 p (10) : 30 1 < 6

Es verdadero Es Falso

Observacin: Si negamos una funcin proposicional, formamos una nueva funcin proposicional.

Ejemplos
1 Sea p ( x, y ) : 2 x 5 y = 5 entonces p ( x, y ) : 2 x 5 y 5

Sea p (u , z ) : u 3 v 2 > 4 entonces p (u , z ) : u 3 v 2 4

Cuando utilizamos funciones proposicionales podemos incorporar dos nuevos smbolos denominados cuantificadores. Hay dos formas de cuantificar una funcin proposicional:

Cuantificadores

http://www.mateuv.blogspot.com

Apuntes de Matemtica

1.1.

Cuantificador Existencial

Si p(x) es una funcin proposicional en U, entonces la expresin: x; p ( x) Se lee existe x tal que p(x) y significa que hay al menos un elemento a que pertenece al universo, de modo que p(a) es verdadera.

Ejemplos 1. Determine el valor de verdad de las siguientes proposiciones, considerando que U = { ,2,3,4,5,6,7} 1
a. x U ; x 2 x = 13 x=1 x=2 x=3 x=4 x=5 x=6 12 1 = 13 2 2 2 = 13 3 2 3 = 13 4 2 4 = 13 5 2 5 = 13 6 2 6 = 13 falso falso falso falso falso falso

La proposicin es falsa, ya que para todos lo elementos de U la proposicin es falsa

b. x U ; x 2 x > 18 x=1 x=2 x=3 x=4 x=5 x=6

12 1 > 18 22 2 > 18 32 3 > 18 42 4 > 18 52 5 > 18 6 2 6 > 20

falso falso falso falso verdadero verdadero

La proposicin es verdadera, ya que existen elementos de U que satisfagan la proposicin.

Observacin Dentro de este cuantificador nos encontramos con el cuantificador ! que se lee existe un nico y que es verdadero si y solo si la proposicin es solamente verdadera en una ocasin. Ejemplo 1. Determine el valor de verdad de las siguientes proposiciones, considerando que U = {2, 4,6,8,10}
! x U ; x >3
x=2 x=4 x=6 x=8 x = 10

2 >3 4 >3 6 >3

8 >3 10 > 3

falso falso falso falso verdadero

La proposicin es verdadera, ya que solamente existe un elemento que satisface la condicin

Cuantificadores

http://www.mateuv.blogspot.com

Apuntes de Matemtica

1.2.

Cuantificador Universal

Si p(x) es una funcin proposicional en U, entonces la expresin:

x; p ( x) Se lee para todo x, p(x)

y significa que todos los elementos x de U hacen que p(x) sea verdadera.

Ejemplos 2. Determine el valor de verdad de las siguientes proposiciones, considerando que U = { ,2,3,4,5,6} 1 c. x U ; x 2 < 34 x=1 verdadera 12 < 34 verdadera x=2 2 2 < 34 x=3 verdadera 3 2 < 34 verdadera x=4 4 2 < 34 2 x=5 verdadera 5 < 34 2 falso x=6 6 < 34
La proposicin es falsa, ya que no todos los elementos de U satisfacen la proposicin.

d. x U ;5 x 1 > 2 x=1 x=2 x=3 x=4 x=5 x=6

5 1 1 > 2 5 2 1 > 2 53 1 > 2 5 4 1 > 2 55 1 > 2 5 6 1 > 2

verdadero verdadero verdadero verdadero verdadero verdadero

La proposicin es verdadera, ya que todos los elementos de U satisfacen p(x).

Observacin De los cuantificadores anteriores podemos deducir las siguientes equivalencias de proposiciones cuantificadas:
x U ; p ( x) x U ; p ( x) x U ; p ( x) x U ; p ( x)

Observacin Si las proposiciones son de dos variables es posible cuantificarlas en las siguientes maneras: 1. x U ; y U ; p ( x, y ) 2. x U ; y U ; p ( x, y ) 3. x U ; y U ; p ( x, y ) 4. x U ; y U ; p ( x, y )
Ntese que los cuantificadores no son conmutativos.

Cuantificadores

http://www.mateuv.blogspot.com