UNIVERSIDAD PERUANA LOS ANDES

VISIÓN
Ser una Universidad líder y
competitiva en la formación
profesional, investigación, y
responsabilidad social
comprometida con el
desarrollo de la sociedad.
MISIÓN
La Universidad Peruana Los
Andes es una organización
académica, dedicada a la
CURSO: MATEMÁTICA SUPERIOR formación profesional integral,
DOCENTE: MG. ELIZABETH VÁSQUEZ la investigación y fomento de la
cultura, para el desarrollo
GALLARDO sostenible de la sociedad.
MOTIVACIÓN:
SEMANA Nº04: CUANTIFICADOR EXISTENCIAL Y UNIVERSAL

Cuantificador existencial
Cuantificador universal
"Una función proposicional es un enunciado
abierto de la forma P(x) que se convierte en una
proposición cuando se le asigna un valor específico
a la variable“ entonces podemos escribir:

p(x) : 2x + 5 > 11 , si x = 4 → 13 > 11 (Verdadero)

q(x) : 3x + 7 = 11 , si x = 5 → 22 = 16 (Falso)
Cuantificador universal y existencial

A partir de funciones proposicionales(enunciado abierto) es posible

obtener proposiciones generales mediante un proceso llamado
cuantificación. Introducimos los símbolos:
∀x cuantificador universal y ∃x cuantificador existencial.
Las expresiones:
*Para todo x, se verifica p(x) se denota por:
∀x/ p(x) ; ∀x: p(x) ; ∀x(p(x) )

*Existe x, se verifica p(x) se denota por:

∃x/p(x) ; ∃x:p(x) ; ∃x:(p(x) )
 El cuantificador existencial,

“Para algún x se verifica p(x)”

“Existe x tal que se cumple p(x)”
“Para al menos un x se satisface p(x)”
Estas proposiciones se escriben:“x: p(x) ” “x/p(x) ” “(x)(p(x))”
 El cuantificador universal,

“Para todo x se verifica p(x)”

“Para cualquier x tal que se cumple p(x)”
“Para cada x se satisface p(x)”
Estas proposiciones se escriben: “x: p(x) ” “x/p(x) ” “x(p(x)) ”
Ejemplo 1: Escribe en símbolos la siguiente proposición:
s: “ Existe un número real x tal que x/(x2 + 1) = 2/5”

Solución:
s: “ Existe un número real x tal que x/(x2 + 1) = 2/5”
1ro. Escribimos las función proposicional: s(x): “ x/(x2 + 1) = 2/5 ”
2do. Entonces se simboliza la expresión: x R/ s(x)
Ejemplo 2: Escribe en letras las siguiente proposición :
Sea q(n):“ n es par” s(n):“n2+19 es primo”, escribir literalmente n Z : [q(n)s(n)]

Solución:
1ro reconocemos las funciones proposicionales:
q(n): “ n es par” s(n): “n2 + 19 es primo”
2do escribimos literalmente la expresión: n Z : [q(n)s(n)]
“Para cada entero n, si n es par entonces n2 + 19 es primo”
NEGACIÓN DE FUNCIONES PROPOSICIONALES CUANTIFICADAS

Ejemplo 3: La negación de "Todos los enteros son impares" es:

Solución:
La función proposicional es p(x) : " Todos los enteros son impares"
La negación literal de: "Todos los enteros son impares" es "Existen enteros que no son impares"
En símbolos: “xZ : p(x)” su negación “∃x Z : ~ p(x) ”

Entonces, para negar una función proposicional cuantificada universalmente se cambia el

cuantificador en existencial, y se niega la función proposicional.

~ [  xZ / p(x)]  xZ, ~p(x)
~ [xZ, p(x)]   xZ / ~p(x)
Ejemplo 4 :Escribir simbólicamente y negar los siguientes enunciados,
formulados en base a la función proposicional p(x):
r: "Para todo número entero x, x es par"
s: "Existe un número racional x, tal que es par"

Solución:
Al simbolizar las funciones proposicionales tenemos:
r : "x Z / x es par"
s: "  x Q / x es par“

Negar las funciones proposicionales anteriores

r : "x Z / x es par" su negación es: "  x Z , x no es par"
s: "  x Q / x es par“ su negación es: "  x Q , x no es par“
Ejemplo 5: Sea el universo el conjunto de los números enteros (Z) consideremos la proposición:
p: Existen múltiplos de dos que son múltiplos de cuatro. Simbolizar y negar.
Solución:
Del ejercicio tenemos p: Existen múltiplos de dos que son múltiplos de cuatro
En símbolos: p:  n Z / n es múltiplo de 2 y n es múltiplo de 4
La negación de p es: ~p: No existen múltiplos de dos que son múltiplos de cuatro
Equivalentemente: ~p: Todos los múltiplos de dos no son múltiplos de cuatro.
La negación es: ~p: n Z, n no es múltiplo de 2 o n no es múltiplo de 4

Recuerda que la negación de los cuantificadores:

~ [  xU / p(x)]  [xU, ~p(x)]
~ [xU, p(x)]  [  xU / ~p(x)]
Ejemplo 6: Simboliza y escribe la negación de la proposición, r : “ Cualquier número real cuyo
cuadrado es mayor que 1, es mayor que 1”
Solución:
1ro: debemos de identificar el cuantificador:
r : “ Cualquier número real cuyo cuadrado es mayor que 1, es mayor que 1”
r: “ Para todo x real, si x2 > 1 entonces x > 1”
2do: debemos de simbolizar:
x R: (x2 > 1  x > 1)
3ro: realizamos la negación:
 [ x R : (x2 > 1  x > 1)]
 [ x R : ((x2 > 1)  (x > 1)]
x R : (x2 > 1)  (x  1)
o Con cuantificador existencial:
La negación de x: p(x) : “Existe x que satisface p(x)”

Es [x: p(x)]  “No es cierto que exista algún x, que verifique p(x)”
 “Ningún x satisface p(x)”
 “Todo x satisface  p(x)”
 x : p(x)

[x:p(x)]  x: p(x)

o Con cuantificador universal:
La negación de x:p(x) : “Para todo x se satisface p(x)”
Es [x:p(x)]  “No es cierto que todo x verifique p(x)”
 “Algún x satisface  p(x)”
 x  p(x)
 [x:p(x)]  x: p(x)
 EJERCICIOS DE APLICACIÓN:

Ejercicio 01:
En el universo de los números reales, considere: p(x): “ x > 2”, q(x): “ x2 > 4” Expresa en lenguaje
literal las siguientes proposiciones.
a) x :p(x)
b) x:[p(x) q(x)]
c) x:[q(x) p(x)]

Ejercicio 02:
Traduce a lenguaje simbólico las proposiciones cuantificadas, supón que el universo son los
números enteros:
a) “ Al menos un entero es par ”
b) “ Si x es par entonces no es divisible entre 5”
c) “ Ningún entero par es divisible entre 5”
d) “ Cualquier par es divisible entre 4 ”
 EJERCICIOS DE APLICACIÓN:

Ejercicio 03: Escribe simbólicamente la negación de las siguientes proposiciones:

a) r: “Para cada entero n, si n es par entonces n 2 + 19 es primo”
b) s: “ Existe un número real x tal que x/(x2 + 1) = 2/5”

Ejercicio 04: Escribe la negación de las siguientes proposiciones:

a) p: (xN / x+6 = 10)(xN, x2 <9x)
b) q: (xZ, x2 >0)  (xZ/ 8x+1 = 46)
 EJERCICIOS DE APLICACIÓN:

Ejercicio 05: Si xA entonces A= {1, 2, 3} verificar el valor de verdad de las siguientes
proposiciones
a) xA / x2 = x
b)  xA / x = 2x
c)  xA / x + 2 = 5
d)  xA / x + 1  3
e)  xA / x  4
f) { xA / x2 = 4}
Ejercicio 06: Si A = 0, 1, 2, 3, 4, 5 ¿Cuáles 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