Está en la página 1de 4

CUANTIFICADORES

Funcin Proposicional
Supongamos tenemos los enunciados abiertos:
1. " x es la capital del Per"
2. " x + 4 = 11"
Estos no tienen un valor veritativo.
Pero si en el primero de ellos hacemos x = ima! tenemos:
"ima es la capital del Per" "#$
%simismo! si en el segundo hacemos x = &! resulta: & + 4 = 11 "'$
Podemos! entonces! dar la siguiente de(inici)n: "*na (unci)n proposicional es
un enunciado abierto de la (orma P
"+$
,ue se convierte en una proposici)n
cuando se le asigna un valor espec-(ico a la variable".
Ejemplos:
p
"+$
: 2x + . / 11 ! si x = 4 0 11 / 11 "#erdadero$
,
"+$
: 1x + 2 = 11 ! si x = . 0 22 = 13 "'also$
Cuantificadores
% partir de (unciones proposicionales es posible obtener proposiciones
generales mediante un proceso llamado de cuanti(icaci)n. %sociados a la
indeterminada +! introducimos los s-mbolos 4 x 5 6 x! llamados cuantificador
universal 5 cuantificador existencial respectivamente. as e+presiones
Para todo x! se veri(ica p
"+$
se denota por 4 + : p
"+$
E+iste x! tal ,ue se veri(ica p
"+$
se denota por 6 + 7 p
"+$
8orresponden a una (unci)n proposicional p
"+$
cuanti(icada universalmente en
el primer caso! 5 e+istencialmente en el segundo.
Ejemplo: *na (unci)n proposicional cuanti(icada universalmente es # si 5 s)lo
si son # todas las proposiciones particulares asociadas a a,uella. Para
asegurar la verdad de una proposici)n cuanti(icada universalmente es
su(iciente ,ue sea verdadera alguna de las proposiciones asociadas a la
(unci)n proposicional.

*n problema de inter9s es la negaci)n de (unciones proposicionales
cuanti(icadas. Por e:emplo! a negaci)n de ";odos los enteros son impares" es
"E+isten enteros ,ue no son impares" 5 en s-mbolos: 6 + 7 < p
"+$
Entonces! para negar una (unci)n proposicional cuanti(icada universalmente se
cambia el cuanti(icador en e+istencial! 5 se niega la (unci)n proposicional.
os siguientes enunciados! (ormulados en base a la (unci)n proposicional p"n$:
r: "Para todo nmero entero n! n es par"
s: "Existe un nmero racional n! tal ,ue es par"
a e+presi)n "para todo" se denota con el s-mbolo "" 5 se llama
cuantificador universal! 5 la e+presi)n "e+iste"! denotado con el s-mbolo ""!
se llama cuantificador existencial. Estos cuanti(icadores unidos a una (unci)n
proposicional la trans(orman en una proposici)n. Podemos escribir las
proposiciones r 5 s como:
r : "n 7 n es par" s: " n 7 n es par"
Ee!plos
En el con:unto de los nmeros enteros "=$ consideremos la proposici)n:
p: E+isten mltiplos de dos ,ue son mltiplos de cuatro "verdadero$
a negaci)n de p es:
<p: No e+isten mltiplos de dos ,ue son mltiplos de cuatro "(also$
E,uivalentemente:
<p: Todos los mltiplos de dos no son mltiplos de cuatro.
En s-mbolos:
p: " n = 7 n es mltiplo de 2 5 n es mltiplo de 4"
<p: "n =! n no es mltiplo de 2 ) n no es mltiplo de 4"
en esta negaci)n se usa las le5es de >e ?organ.
En general! en relaci)n a los cuanti(icadores tenemos:
< @ +* 7 p"+$A @+*! <p"+$A
< @+*! p"+$A @ +* 7 <p"+$A

PRACTICANDO"
1. BPodemos a(irmar ,ue p C , es e,uivalente a "p,$ es e,uivalenteDBPor
,u9D
2. Endica si son e,uivalentes. 8omprueba con tablas de verdad:
a$ ""p ,$ r$ "p ", r$$
b$ "p ", r$$ ""p ,$ "p r$$
c$ "p ,$ ", p$
1. Probar las le5es de >e ?organ.
a$ "p ,$ p ,
b$ "p ,$ p ,
4 Probar las le5es distributivas:
a$ p ", r$ "p ,$ "p r$
b$ p ", r$ "p ,$ "p r$
.. Sean los siguientes enunciados:
p: ho5 es :ueves. , : maFana es viernes. r : pasado maFana es
domingo.
Endicar cuGles de las siguientes e+presiones son verdaderas 5 cuales
(alsas.
a$p , H b$p r H c$r p H d$ , p H H e$p r H ($ ,
r
3. 'ormar los condicionales 5 bi condicionales posibles utiliIando las
proposiciones
p = a suma de las ci(ras de un nmero es divisible por 1J.
, = a suma de las ci(ras de un nmero es divisible por &.
r = un nmero es divisible por 1J.
s = un nmero es divisible por &.
t = un nmero es divisible por & 5 2.
n = un nmero es divisible por 1 5 3.
2. Sea P "+$ = " + aumentado en &! es ma5or o igual ,ue 11".>e acuerdo a esta
proposici)n es incorrecto seFalar ,ue:
a$ + ,ue cumple p"+$ b$ + / 1 se cumple p"+$ c$ +4 se cumple
p"+$
d$ + / 14 se cumple p"+$

J. Si % = {K! 1! 2! 1! 4! .} B8uGles de las siguientes proposiciones son
verdaderasD
a$ + % 7 +
2
= +
b$ + % 7 5 %! +5 K
c$ + % ! 5 % 7 + + 2 = 5
d$ + % 7 5 %! + + 5 es par
&. E+prese la negaci)n de todas las proposiciones del e:ercicio 1.5 2.