CUANTIFICADORES

INTRODUCCIN
Los cuantificadores son smbolos utilizados para
indicar cuntos o qu tipo de elementos de un
conjunto dado cumplen con cierta propiedad.
Ejemplo
Pertenencia
Equivalencia
Orden
OBJETIVOS
Definir una frase declarativa.
Definir los diferentes cuantificadores.
Presentar ejemplos de cada uno.
Proponer ejercicios.
Frase
Declarativa
Contiene una
o mas
variables
No es una
proposicin
Se convierte
en
proposicin
Cuando la
variables se
reemplazan
por ciertas
opciones
permisibles.
UNIVERSO
UNIVERSO DE
DISCURSO
Para la proposicin
abierta
EJEMPLOS
FRASES DECLARATIVAS
2a>3
X=2
X+2 es un numero entero par
X+2 es un numero entero par
Tomando algunos de los ejemplos anteriores
VALOR DE X X+2 VALOR DE VERDAD
2 4 VERDADERO
3 5 FALSO
4 6 VERDADERO
Cuantificador Existencial
Si p(x) es una funcin proporcional en U,
entonces la expresin:
x, p(x) Se lee Existe x tal que p(x)
Al menos existe un elemento de x que
pertenece a U, de modo que p(x) es
verdadera.
EJEMPLOS Cuantificador Existencial
x U: x - x > 20
VALOR DE X x - x > 20 VALOR DE VERDAD
1 1 - 1 = 0 FALSO
2 2 - 2 = 2 FALSO
3 3 - 3 = 6 FALSO
4 4 - 4 = 12 FALSO
5 5 - 5 = 20 FALSO
6 6 - 6 = 30 VERDADERO
En este ejemplo se observa que apartir de x >
6, la proposicin comienza a ser verdadera.
EJEMPLOS Cuantificador Existencial
{x U : p(x)} != 0
La proposicin anterior se puede
interpretar de la siguiente forma:
El conjunto de los elementos x de U, que
cumplen p(x) es distinto del conjunto
vacio.
Cuantificador Existencial
nico
Este cuantificador se utiliza para indicar
que hay un nico elemento de U que
cumple una determinada propiedad.
!x, p(x) Se lee Existe un nico
elemento x tal que p(x)
Solo existe un elemento que cumple con
la proposicin p(x)
Cuantificador Universal
Si p(x) es una funcin proporcional en U,
entonces la expresin:
x, p(x) Se lee Para todo x, p(x)
Todos los elementos x de U hacen que
p(x) sea verdadera.
EJEMPLOS Cuantificador Universal
x U: 5x - 1 > 2
VALOR DE X 5x - 1 > 2 VALOR DE VERDAD
1 5*(1) - 1 = 4 VERDADERO
2 5*(2) - 1 = 9 VERDADERO
3 5*(3) - 1 = 14 VERDADERO
4 5*(4) - 1 = 19 VERDADERO
5 5*(5) - 1 = 24 VERDADERO
6 5*(6) - 1 = 29 VERDADERO
La proposicin es verdadera, ya que todos los
elemento de U satisfacen p(x).
EJEMPLOS Cuantificador Universal
A = {x U : p(x)}
La proposicin anterior se puede
interpretar de la siguiente forma:
Se define el conjunto A, como el de los
elementos x de U, que cumplen p(x).
Equivalencias
Si: para todo x de A se cumple P(x), es equivalente
a: no existe x en A que no cumpla P(x).
Si: existe x en A que cumple P(x), es equivalente a:
no para todo x de A no se cumpla P(x).
Si: existe un nico x en A que cumple P(x), es
equivalente a: para todo x, y de A, que cumpla P(x)
y P(y), entonces x es igual a y.
Resumen Cuantificadores
Para las proposiciones abiertas p(x) y q(x), definidas en
un universo dado, y la proposicin cuantificada en
forma universal

x[p(x) q(x)]
Contrapositiva
Recproca
Inversa
x[q(x) p(x)]
x[q(x) p(x)]
x[p(x) q(x)]
Ejemplo 1
p(x): |x| > 3 q(x): x >3
x[p(x) q(x)
Es una proposicin falsa
Si x = -5

Entonces
p(-5) es verdadera
q(-5) es falsa
Se puede expresar la recproca de la proposicn dada
como sigue:
x[q(x) p(x)
Es una proposicin verdadera
Todo nmero real mayor
que 3 tiene magnitud (o
valor absoluto) mayor
que 3.
Si x = -5

Entonces
q(-5) es falsa
p(-5) es verdadera
Se puede expresar la inversa de la proposicn dada
como sigue:
x[p(x) q(x)c
Si x = -5

Entonces

p(-5) es falso
q(-5) es verdadero
Es una proposicin verdadera
Si la magnitud de un
numero real es menor o
igual que 3, entonces el
propio nmero es
menor o igual que 3.
Se puede expresar la contraposicin de la proposicn
dada como sigue:
x[q(x) p(x)
Si x = -5

Entonces

q(-5) es verdadero
p(-5) es falso
Es una proposicin falsa
Si un nmero es menor
o igual que 3, tambien lo
es su magnitud.
Equivalencias e implicaciones lgicas
para proposiciones cuatificadas de una
variable
x [p(x) ^ q(x)]
x [p(x) V q(x)]
x [p(x) ^ q(x)]
[x p(x) V xq(x)]
[x p(x) ^ x q(x)]
[x p(x) V x q(x)]
[x p(x) ^ x q(x)]
x [p(x) V q(x)]
Reglas para negar proposiciones con un
cuantificador
[x p(x)]
[x p(x)]
[x p(x)]
x p(x)
x p(x)
x p(x) x p(x)
[x p(x)] x p(x) x p(x)
Ejemplo 2: Negacin de una proposicin
con Cuantificadores
Sean p(x, y), q(x,y) y r(x,y) tres proposiciones
abiertas, y las variables x, y se reemplazan de
cierto(s) universo(s) prescrito(s).

Cul es la negacin de la siguiente proposicin?
Resolucin
Resultado