IEP.

“PITÁGORAS” AR
ITMÉTICA
CUANTIFICADORES

CUANTIFICADORES: EXISTENCIAL Y UNIVERSAL

Aquí se presentan dos nuevas proposiciones relacionadas
con ciertas expresiones p(x) a las que se les denomina
funciones proposicionales y que se convierten en
proposiciones lógicas cuando la variable "x" toma un valor
particular.
Ejemplos de funciones proposicionales:
Otra notación: x B: r(x)  x  B, r(x)
A los símbolos  y se les llama cuantificador existencial y
cuantificador universal respectivamente.
Negar el hecho que exista un "x" en A tal que p(x) se cumpla
equivale a afirmar que ningún elemento x de A satisface
p(x), es decir, que: para todo x en A, p(x) No se cumple:

p(x): x + 1 = 2 [ x  A / p(x)]  x  A, p(x)

q(x): "x" es estudiante del colegio Regina.
Análogamente se puede demostrar de lo anterior que:
Si: x = 1, p(x) es verdadero
Si: x = 2, p(x) es falso [ x A : p(x)]  x  A, p(x)
Si: en q(x), ud. amigo estudiante, reemplaza "x" por su
nombre entonces q(x) resulta una proposición lógica.
Pro b le m a s re s ue lt o s
Para los conjuntos: A = {1; 2; 3;...}, B = {3; 6; 9;...}

1. Indicar el valor de
verdad de las siguientes
y las funciones proposicionales:
p(x): "x" es un número natural par proposiciones para el conjunto Z+ = {1; 2;...} y negarlas
q(x): "x" es un número negativo simbólicamente:
r(x): "x" es un múltiplo entero de 3
a) x  Z+: x2 - 6x + 5 = 0
se tiene que la proposición:
b)  x  Z+ / x2 - 6x + 5 = 0
“Existe (por lo menos) un elemento x  A tal que p(x) es
cierto” “x A / p(x)” Resolución
Como la ecuación dada:
Resulta verdadera (V) pues tal x A puede ser: x = 4; x2 - 6x + 5 = (x - 1)(x - 5) = 0
mientras que la proposición:
Tiene las soluciones: x = 1, x = 5 ambas en Z +
entonces:
“Existe (por lo menos) un elemento x  A tal que q(x) es
cierto”  “ x  A / q(x)”
(a) es falsa, pues para que sea verdadera la ecuación
debería cumplirse para todos los enteros positivos de
Resulta falsa (F) pues ningún elemento "x" de A es
negativo. Z+ y eso no es cierto pues solo se cumple para x = 1 y
x = 5.
Para el conjunto: B = {3; 6; 9; ...}, la proposición:
(b) es verdadera, pues existen hasta dos soluciones x = 1
“Para todo x B, r(x) se cumple “” x  B: r(x)” es y x = 5 en Z+ y solo hubiese bastado con una de las
verdadera (V) como se puede verificar directamente todo soluciones.
elemento de B es múltiplo entero de 3; mientras que la
proposición: Las negaciones correspondientes son:

“Para todo x  B, p(x) se cumple “ x  B: p(x)” a) (x  Z+: x2 - 6x + 5 = 0)

Es falsa (F) pues no todo elemento de B es par ya que

 x  Z+ / (x2 - 6x + 5 = 0)
existen en B, al menos el número 3 que no es par (además de
9; 15; 21; etc.).
 x  Z+ / x2 - 6x + 5  0

DPTO. DE MATEMÁTICA
A.E. 2020
 IEP. “PITÁGORAS” AR
ITMÉTICA

PRACTICANDO EN CLASE
• Negar las siguientes proposiciones para el conjunto Z.

1.  x  Z / x + 4 > x
∃xZ/x+4≤x

5. q: ( x  Z/ x + 2 = 5)  ( x  Z/ x > 0)
V  F
V

2.  x  Z / x2 = 9
∀ x  Z / x2 ≠ 9
• Dado el conjunto: M = { 1 ; 2 ; 3 ; 4 ; 5; 6 }
¿Cuáles son verdaderas?
6. x M / x + 4 10 (V)

7.  x M:  y M / x + y  6 (F)

3.  x  Z / x2 - 4 > 0 6 0
∃ x  Z / x2 - 4 ≤ 0

M = { 1 ; 2 ; 3 ; 4 ; 5; 6 }

8.  x  M / x + 3 > 6 (V)
6

• Calcular el valor de verdad de:

4. p: x  IN / x - 5 > 0 )  ( x  IN / x + 3 = 6)
F  V
F

DPTO. DE MATEMÁTICA
A.E. 2020
 IEP. “PITÁGORAS” AR
ITMÉTICA
22. Dadas las proposiciones:

a) [ x N / x + 2 = 5] [  x N : x2 > x]

b) [  a Z : -a < 0] [ x Z / -x = x]

c)  x R /  x R

¿Cuáles son los valores de verdad de sus negaciones

TAREA en ese orden?
23. ¿Cuál de las siguientes proposiciones corresponde a
I. Negar las siguientes proposiciones para el conjunto Z: la negación de “Para todo entero "r", existe un
entero "a" tal que si (ar) es par, entonces (a + 1)r es
1.  x  Z : x + 1 > x ( V) par”?
xZ:x+1≤x
a) r Z / a Z, ar y (a + 1)r son impares
2.  x  Z / x2 + 1 = 0 b) r Z / a Z, ar es impar y (a + 1)r es par
3.  x  Z / x2 = 0 c) r Z / a Z, ar es par y (a + 1)r es impar
4.  x  Z : x2 - 1 > 0 d) r Z / a Z, ar es impar o (a + 1)r es par
Determinar el valor de verdad de cada una de las
proposiciones anteriores dadas. 24. ¿Cuál de las siguientes proposiciones sobre Q
(racionales) corresponde a la negación de: “Para todo
II. Negar las siguientes proposiciones: número entero "p" tal que p r < p+1”?

6.  x  A :  y  A / [p(x, y)  q(y)] a) r Q / p Z, p+1 > p > r

7.  x  A /  y A / p(x) q(y) b) r Q / p Z, p < p+1 < r
8. x C / y B : p(x) q(y)
c) r Q / p Z, p  r  p+1 < r
9. Determinar la negación de: x  A: p(x)  q(x)
d) r Q / p Z, p > r  p+1  r
III. Negar cada una de las siguientes proposiciones:
25. La negación de: “Ningún proyecto de Jackie va a ser
10.  x  A : y B /  z C : p(x, y, z) aprobado” es:
11. x A / y B / [p(x) q(x, y)]
12. [ y A / p(y)] x A : [q(x) r(x)] a) Ningún proyecto de Jackie va a ser aprobado.
13. Todos los americanos están locos. b) Todos los proyectos de Jackie no van a ser
14. Hay al menos una persona que es feliz todo el tiempo. aprobados.
15. Todos los hombres son honestos o algún hombre es c) Ningún proyecto de Jackie no va a ser aprobado.
un ladrón. d) Sólo un proyecto de Jackie va a ser aprobado.
16. Si el número "x" es menor que 12, entonces hay un e) Algunos proyectos de Jackie van a ser aprobados.
número real "y" tal que: x2 + y2 - 144 es positivo.
26. La negación de: “Algunos no quieren a sus padres” es:
IV. Indicar el valor veritativo de:
a) Ninguno quiere a sus padres.
17.“Para todo entero positivo "n", n 2 - n + 41 es un b) Todos no quieren a sus padres.
número primo”. c) Algunos quieren a sus padres.
d) Todos quieren a sus padres.
V. Indicar la verdad o falsedad de: e) Ninguno quiere a ninguno de sus padres.

18.  x R :  y  R : (-y)(-x) = xy  xy > 0 27. Si:

19. x  R / (-1)x = 0 - Todos los pilotos vuelan aviones.
20.  x R : x2 / x = x - Ninguno que toma vuela aviones.
Se deduce:
21. Dado: M = {1; 2; 3; 4; 5} ¿cuáles son verdaderas?
a) Algunos que vuelan aviones toman.
a) x M / x + 3 10
 x M : y M / x + y 7 b) Algunos pilotos no vuelan aviones.
b)
c)  x M : x + 3  8 c) Algunos que vuelan aviones son pilotos.
d) xM/x+3>6 d) Ninguno que toma es piloto.
e) Ningún piloto vuela aviones.

DPTO. DE MATEMÁTICA
A.E. 2020
 IEP. “PITÁGORAS” AR
ITMÉTICA

DPTO. DE MATEMÁTICA
A.E. 2020