UNIVERSIDAD NACIONAL SAN AGUSTIN DE AREQUIPA

CURSO: Razonamiento Lógico Matemático

CUANTIFICADORES Docente: Erasmo Laura H.
FUNCIONES PROPOSICIONALES
Si en la proposición "cinco es mayor que tres" (en símbolos es 5 > 3) reemplazamos al número 5 por
la letra x, se obtiene la expresión "x es mayor que tres" (x > 3), y si convenimos que x no represente
necesariamente al número 5, sino a un número real cualquiera, entonces el enunciado x > 3 se
denomina función proposicional y se anota p( x) o p x .
 
Una función proposicional en una variable o indeterminada “x” es un enunciado en el que aparece “x”
como sujeto y que se convierte en una proposición cuando se le asigna un valor específico a la variable.
Ejemplo:
Sea la función proposicional p( x) : 2 x  5  3 . Si se remplaza x por 4 y x por 2, se obtienen,
respectivamente, los siguientes valores de verdad: p(4) = V y p(2) = F

CUANTIFICADORES
Son símbolos que permiten evaluar una función proposicional. Pudiendo ser de dos tipos : Universal
o existencial.

CUANTIFICADOR UNIVERSAL: Utiliza el símbolo “  ” se lee “Para todo”.

x : P( x) se lee: Para todo x , tal que se verifique P(x).

Ejemplos:
1. x  Z : 2 x  1 es impar ; x  Z  ; será verdadera ya que si “x” toma valores enteros positivos, 2x
+ 1 siempre será un número entero impar.

2. x  B : x  2  8; B  3; 4;5;6;7;8 será falsa ya que cuando “x” toma los valores de 3;4,5,6 no
cumple.

CUANTIFICADOR EXISTENCIAL: Utiliza el símbolo “  ” se lee: “existe por lo menos un”.

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

Ejemplos:
1. x  A : x  2  5; A  2;3;5 es verdadero ya que si x = 5 , obtenemos 5 +2>5 …(V). por ello
basta que se cumpla para un valor de A.
2. x  R / x 2  x es verdadero ya que: x2  x  0  x( x  1)  0  x  0  x  1

CUANTIFICADOR EXISTENCIAL UNICO

El Cuantificador existencial con marca de unidad se usa para indicar que hay un único elemento de un
conjunto A que cumple una determinada propiedad.
NEGACIÓN DE CUANTIFICADORES:
[x : P( x)]  x : P( x)

[x : P( x)]  x : P( x)
Ejemplos:

1. Negar : x  A : x  3  10
x  A : x  3  10  x  A : x  3  10
2. Negar: x  M : x  7  6
[ x  M : x  7  6 ]  x  M : x  7  6

PROBLEMAS PROPUESTOS
1. Indique el valor de verdad(V) o falsedad (F) de las siguientes proposiciones:
x2  4
I. x  Z :  x2
x2
II. x  R : x 2  x
III. x  Z : ( x)  Z

2. El conjunto A  1; 2;3; 4;5 . Determine el valor de verdad (V) o Falsedad (F) de las proposiciones:
I. x  A :  x  2  6    x  6  8 
II. x  A :  x  2  2    x  2  2 
III. x  A; y  A : x  y  2

3. Dado U  1; 2;3; 4,5 .¿Cuáles de las siguientes proposiciones son verdaderas?
I. x U / x  3  10
II. x U ; y U / x  y  7
III. x U / x  4  8

4. Sean los conjuntos : A  1;0;1; 2 , N  1; 2;3;... . Determine las proposiciones correctas:
I. x  N ; y  N : x  y  0  x  y  0
II. x  A; y  A : x  y  xy  0
III. x  A; y  A : x  y  4

5. Sea A  0;1; 2;3 el dominio de x e y . Señalar el valor de verdad:

I )x, y :  x 2  y 2  10    x 2  y  1
II )x, y :  x 2  y 2  10    x 2  y  1
III )x, y :  x 2  y 2 

6. Sea A el conjunto de todos los estudiantes y además .

p( x) : “ x es limeño” ; q( x) : “ tiene menos de 20 años”
Negar y simbolizar las siguientes proposiciones:
I. Todos los estudiantes si tienen menos de 20 años, son limeños.
II. Algunos estudiantes son limeños y de 20 o más años.

7. Señale la negación de :
“Para todo entero “m” , existe un número natural “s” , tal que , si “ m  s “es impar entonces :
( m + 1)(s – 1) es par.”

8. Dadas las proposiciones:

p : x  Q : x  0  x  0  x  0
q : x  Z :  x 2  0    x  0 
r : x  N :  3 x  11 2 x  6   0
Indique el valor de verdad de p; q; r

9. Sea A  1;1; 2;7 . ¿Cuál es el valor de verdad de las siguientes proposiciones?

I. x  A, y  A : x 2  y
II. x  A, y  A : x  y 2  0

III. x  A, y  A :  x  3  y 2  2 
10. Indique el valor de verdad de las siguientes proposiciones:
I. x  R, y  N : x y  x y 1
II. x  R, y  N : xy  0
III. x  R, y  N : xy  x
IV. x  R, y  N : x 2   y

11. Sea A  0;1; 2;3 el dominio de x e y . Señalar el valor de verdad:

I )x, y :  x 2  y 2  10    x 2  y  1
II )x, y :  x 2  y 2  10    x 2  y  1
III )x, y :  x 2  y 2 

12. Indique el valor de verdad de las siguientes proposiciones:

I. x  R, y  N : x y  x y 1
II. x  R, y  N : xy  0
III. x  R, y  N : xy  x
IV. x  R, y  N : x 2   y