Scribd
Cargar
49 vistas

Cu Anti Fic Adores

El documento explica los conceptos de funciones proposicionales, cuantificadores universal y existencial, y cómo estos cuantificadores pueden usarse para transformar funciones proposicionales en proposiciones generales. Se definen las funciones proposicionales como enunciados abiertos que se convierten en proposiciones al asignarles un valor a la variable. Los cuantificadores universal y existencial, denotados por ∀ y ∃ respectivamente, permiten expresar si una función proposicional es verdadera para todos los valores de la variable o si existe al menos

Cargado por

Richard Oswaldo Saldaña Perez
Derechos de autor
© Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
49 vistas

Cu Anti Fic Adores

El documento explica los conceptos de funciones proposicionales, cuantificadores universal y existencial, y cómo estos cuantificadores pueden usarse para transformar funciones proposicionales en proposiciones generales. Se definen las funciones proposicionales como enunciados abiertos que se convierten en proposiciones al asignarles un valor a la variable. Los cuantificadores universal y existencial, denotados por ∀ y ∃ respectivamente, permiten expresar si una función proposicional es verdadera para todos los valores de la variable o si existe al menos

Cargado por

Richard Oswaldo Saldaña Perez
Derechos de autor
© Attribution Non-Commercial (BY-NC)
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 4

PONTIFICIA UNIVERSIDAD CATLICA Programa Nacional de Formacin y Capacitacin Permanente

CUANTIFICADORES
Funcin Proposicional Supongamos tenemos los enunciados abiertos: 1. " x es la capital del Peru" 2. " x + 4 = 11" Estos no tienen un valor veritativo. Pero si en el primero de ellos hacemos x = Lima, tenemos: "Lima es la capital del Per" (V) Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 (F) Podemos, entonces, dar la siguiente definicin: "Una funcin proposicional es un enunciado abierto de la forma P(x) que se convierte en una proposicin cuando se le asigna un valor especfico a la variable". Ejemplos: p(x) : 2x + 5 > 11 , si x = 4 13 > 11 (Verdadero) q(x) : 3x + 7 = 11 , si x = 5 22 = 16 (Falso) Cuantificadores A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso llamado de cuantificacin. Asociados a la indeterminada x, introducimos los smbolos x y x, llamados cuantificador universal y cuantificador existencial respectivamente. Las expresiones Para todo x, se verifica p(x) se denota por x : p(x) Existe x, tal que se verifica p(x) se denota por x / p(x) Corresponden a una funcin proposicional p (x) cuantificada universalmente en el primer caso, y existencialmente en el segundo. Ejemplo: Una funcin proposicional cuantificada universalmente es V si y slo si son V todas las proposiciones particulares asociadas a aquella. Para asegurar la verdad de una proposicin cuantificada universalmente es suficiente que sea verdadera alguna de las proposiciones asociadas a la funcin proposicional.

PONTIFICIA UNIVERSIDAD CATLICA Programa Nacional de Formacin y Capacitacin Permanente

Un problema de inters es la negacin de funciones proposicionales cuantificadas. Por ejemplo, La negacin de "Todos los enteros son impares" es "Existen enteros que no son impares" y en smbolos: x / ~ p(x) Entonces, para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador en existencial, y se niega la funcin proposicional. Los siguientes enunciados, formulados en base a la funcin proposicional p(n): r: "Para todo nmero entero n, n es par" s: "Existe un nmero racional n, tal que es par" La expresin "para todo" se denota con el smbolo " " y se llama

cuantificador universal, y la expresin "existe", denotado con el smbolo " ", se llama cuantificador existencial. Estos cuantificadores unidos a una funcin proposicional la transforman en una proposicin. Podemos escribir las proposiciones r y s como: r : "n / n es par" Ejemplos En el conjunto de los nmeros enteros (Z) consideremos la proposicin: p: Existen mltiplos de dos que son mltiplos de cuatro La negacin de p es: ~p: No existen mltiplos de dos que son mltiplos de cuatro Equivalentemente: ~p: Todos los mltiplos de dos no son mltiplos de cuatro. En smbolos: p: " n Z / n es mltiplo de 2 y n es mltiplo de 4" ~p: "n Z, n no es mltiplo de 2 n no es mltiplo de 4" en esta negacin se usa las leyes de De Morgan. En general, en relacin a los cuantificadores tenemos: ~ [ xU / p(x)] [xU, ~p(x)] ~ [xU, p(x)] [ xU / ~p(x)] (falso) (verdadero) s: " n / n es par"

PONTIFICIA UNIVERSIDAD CATLICA Programa Nacional de Formacin y Capacitacin Permanente

PRACTICANDO: 1. Podemos afirmar que p q es equivalente a (pq) es equivalente?Por qu? 2. Indica si son equivalentes. Comprueba con tablas de verdad: a) ((p q) r) (p (q r)) b) (p (q r)) ((p q) (p r)) c) (p q) (q p) 3. Probar las leyes de De Morgan. a) (p q) p q b) (p q) p q 4 Probar las leyes distributivas: a) p (q r) (p q) (p r) b) p (q r) (p q) (p r) 5. Sean los siguientes enunciados: p: hoy es jueves. domingo. Indicar cules de las siguientes expresiones son verdaderas y cuales falsas. a)p q r 6. Formar los condicionales y bi condicionales posibles utilizando las proposiciones p = La suma de las cifras de un nmero es divisible por 18. q = La suma de las cifras de un nmero es divisible por 9. r = un nmero es divisible por 18. s = un nmero es divisible por 9. t = un nmero es divisible por 9 y 2. n = un nmero es divisible por 3 y 6. 7. 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) p(x) d) x > 14 se cumple p(x) b) x > 3 se cumple p(x) c) x4 se cumple

q : maana es viernes.

r : pasado maana es

b)p r

c)r p

d) q p ;

e)p r

; f) q

PONTIFICIA UNIVERSIDAD CATLICA Programa Nacional de Formacin y Capacitacin Permanente

8. Si

A = {0, 1, 2, 3, 4, 5 } Cules de las siguientes proposiciones son 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

verdaderas? a) b) c) d)

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

También podría gustarte