Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
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
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
Cuantificadores
http://www.mateuv.blogspot.com
Apuntes de Matemtica
1.2.
Cuantificador Universal
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.
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