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" s: " 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 (verdadero)
La negacin de p es:
~p: No existen mltiplos de dos que son mltiplos de cuatro (falso)
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)]
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. q : maana es viernes. r : pasado maana es
domingo.
Indicar cules de las siguientes expresiones son verdaderas y cuales
falsas.
a)p q ; b)p r ; c)r p ; d) q p ; ; e)p r ; f) 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) b) x > 3 se cumple p(x) c) x4 se cumple
p(x)
d) x > 14 se cumple p(x)
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

verdaderas?
a) x A / x2 = x
b) x A / y A, xy 0
c) x A , y A / x + 2 = y
d) x A / y A, x + y es par

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