CUANTIFICADORES

A partir de funciones proposicionales es posible obtener proposiciones generales mediante un proceso

llamado de cuantificación. Asociados a la indeterminada x, introducimos los símbolos x , y x ,
llamados cuantificador universal y cuantificador existencial respectivamente.

CUANTIFICADOR UNIVERSAL

Si a una función proposicional , le anteponemos la expresión “para todo x” , estaremos indicando el

sentido universal de dicha función proposicional obteniendo ahora una proposición lógica.

NOTACIÓN:
x : P( x) ó x / P( x) ó (x)[ P( x)]

Se lee: “Para todo x, tal que ,se verifique P(x)”

CUANTIFICADOR EXISTENCIAL

Si a una función proposicional , le anteponemos la expresión “existe un x” , estaremos indicando el

sentido existencial (que exista)de dicha función.

NOTACIÓN:
x : P ( x ) ó x / P( x) ó (x)[ P( x)]

Se lee: “Existe un x, tal que se verifique P(x)”. “Existe por lo menos un x tal que se verifique P(x)”.

NEGACIÓN DE PROPOSICIONES QUE TIENEN CUANTIFICADORES

✓ Sea la proposición x : P( x)
Su negación será: ~ x : P( x) = x :~ P( x)

✓ Sea la proposición x : P ( x)
Su negación será: ~ x : P( x) = x :~ P( x)

EJERCICIOS

1. Negar el siguiente enunciado :

x, y :  p ( x, y ) → q ( x, y )

2. ¿Cuál de las siguientes expresiones son funciones preposicionales?

I ) p ( x) : x 2 + 1  x
II )q( x) : x + 1  0
III )r ( x) : 2 x + 5
 a) Sólo I b ) Sólo II c) Sólo III
d) I y II e) I y III

3. La negación de la expresión: “Existe algún número entero m, talque, para todo número entero n, (m+ 7)
> n > m ”, es:

4. Dado el conjunto A = {1; 2; 3; 4; 5; 6} . Señalar la verdad o falsedad de:

a) VVV b) VFV c) VFF d) FVV e) FFV

4. Dado el conjunto A = {1; 2; 3; 4}. Señalar la verdad o falsedad de:

a) FFF b) FVF c) FFV d) VFF e) VFV

5. Simbolizar “Existe por lo menos un elemento x  A par”

6. Simbolizar “Todo elemento x  A es par”.

7. Negar la siguiente expresión:

8. Sean A = {2,3,8}, B = {1,2,7} y:

Indicar sus valores de verdad:

a) VVF b) FFF c) VFV d) VVV e ) FFV

9. Dado el universo U = {1,2,3,4,5,6,7,8,9}. Hallar el valor de verdad de las siguientes expresiones:

a) FFF b) FFV c) FVF d) VFF e) VVV

10. Dado M = {-1,2,3,4,5}. ¿Cuáles de las siguientes proposiciones son verdaderas?

11. Dada la función proposicional :

p ( x) = x 2 − 4  0

Hallar los valores de verdad para :

x=2 ; x = 3 ; x=1

a) FVV b) VVF c)FFF d) FVF e)VFV

12. ¿Cuál de las siguientes proposiciones son universales?
I )x  R : x + 2  0
II )x  R / x + 4  0
III )x  R : x 2  0

a)Sólo I b)Sólo II c)II y III d)I y II e)I yIII

13. Hallar los valores de verdad de las siguientes proposiciones lógicas :

p : x  N : x + 3  0
q : x  N / x 2 = x
r : x  N : x 2  0

a) FVV b) FFV c)VVF d) FVF e) FFF

14. las proposiciones :

p : x  R : x 2 + 1  0
q : x  R / x 2  0
r : x  R; y  R : x. y  0

Hallar los valores de verdad de:

I )(~ p  q ) → (~ q  r )
II )(~ p  r )  ( p →~ q )
III )(q →~ p ) → (r ~ p )

a) VVV b) FVF c)VVF d) FVV e) VFF

15. Hallar la negación de la proposición:
x  R / x 2 + x = 0
16. La negación de la expresión: x  R / x  0
2

17. Sea el conjunto A = {1,2,3,4,5} y las proposiciones: p = x  A / (x + 2 = 6) → (x − 5 = 8) ;

q = x  A / ( x + 2  2 )  ( x + 2  2 ) y r = x  A, y  A / x + y  2 . Hallar el valor de verdad de :
s =~ ( p → q )  (q  ~ r )

a) V b) F c) F o V d) No existe e)No se puede determinar

18.Negar la proposición: “Para todo número racional r existe un número entero n tal que n  r  n + 1 ”

19.Sean A = {x  N / 0  x  8} , B = { y  N / 0  x  7} . Hallar los valores de verdad de las siguientes

proposiciones:
a ) p = x  A / y  B, x + y  8 ;

b)q = x  A, y  B / x + y = 5

c)r = x  A / y  B, x + y  6

d ) s = x  A, y  B / xy  0

a) FVVF b) FVFV c)VVFF d)FVFF e)FFVF

20. Si “p?q” solo es verdadera cuando p y q son ambas falsas. Hallar el valor de verdad de: (~ p ? q) ?
(q ? ~r )

Si p=2 es número par

q = x  {1,2,3}, x + 1  1

r = x  {2,4,6}, x 2 = 9

a) V b) F c) F o V d) No existe e) No se puede determinar

21. Negar la proposición siguiente: “Todos los hombres son mortales”

23.Si es falso que algunos locos sean racionales entonces:

a) Algún loco es irracional.

b) Ciertos irracionales son locos.
c) Ningún racional es loco.
d) Ningún loco es racional.
e) Todos los irracionales son locos.
24. La negación de: Todos los jovenes son alegres porque son libres:
 a) Algunos jóvenes no son alegres porque no son libes.

b)Algunos jóvenes son alegres y no son libres.

c) Ningún joven es libre y alegre.

d)Existen jóvenes libres pero no alegres.

e)Ningun joven que no es libre es alegre.

25. Señale la contradictoria de: “Todo matemático es científico”

a) Todo matemático es no científico.

b) Algún científico es no matemático.

c) Ningún matemático es científico.

d) Algunos matemáticos son científicos.

e) Algunos matemáticos no son científicos.