CUANTIFICADORES

Enunciados Abiertos: Son aquellos enunciados a los que no se puede atribuirse el valor de verdadero
(V) ó falso (F), por ejemplo : x + y + z > 20; salvo que x, y, z, pueden ser reemplazados por números
que permitan que dichos enunciados se conviertan en proposiciones y por tanto tener valor de
verdad V o F.

Función proposicional: Es todo enunciado abierto de la forma p(x), que tiene la propiedad de
convertirse en una proposición al ser sustituida la variable x por una constante k específica.

Ejemplo

La expresión p(x): x +2=5 no es una proposición lógica en el sentido que no se le puede asignar
un valor de verdadero o falso, a menos de que se le dé un valor particular a la variable x:
- Si x = 3 , p(3) = 3+2=5 es verdadero
- Si x = 2 , p(2) = 2+2=5 es falso

CUANTIFICADOR EXISTENCIAL: Cuantificar existencialmente significa afirmar que todo sujeto x,

cumple con la función proposicional. A este símbolo "∃" se le llama cuantificador existencial.

Dado el conjunto A = {1,2,3, … } = N , y las funciones proposicionales:

p(x): x es un número natural par

q(x): x es un número negativo

Se tiene que la siguiente proposición: “Existe (por lo menos) un elemento x ∈ A tal que p(x) es cierto”

Que es simbolizada por: “∃ x ∈ A / p(x)” ≡ “∃ x ∈ A ∶ P(x)” la cual resulta verdadera pues tal
x ∈ A puede ser x = 4

Explícitamente, la proposición anterior se interpreta como: “EXISTE (por lo menos) un elemento del
conjunto A, tal que dicho elemento es un numero natural par”.

En cambio para la condición q(x) dada, la proposición

“Existe (por lo menos) un elemento x ∈ A tal que q(x) es cierta” ≡ “∃ x ∈ A / q(x)” resulta falsa
pues ningún elemento x de A cumple con la condición q(x) de ser un número negativo.

CUANTIFICADOR UNIVERSAL: Cuantificar universalmente significa afirmar que todo sujeto x, cumple
con la función proposicional. A este símbolo "∀" se le llama cuantificador universal.

Ahora dado otro conjunto B = {3,6,9,12,15,18, … } , y la Función proposicional

r(x): x es múltiplo de 3

La proposición definida por: “PARA TODO x ∈ B, se cumple la condición R(x)” que es simbolizada
por:”∀ x ∈ B, r(x)” ≡”∀ x ∈ B: r(x)” resulta verdadera, pues se puede verificar que todo elemento
del conjunto B es múltiplo de 3.
NEGACIONES DE PROPOSICIONES CON CUANTIFICADORES

La negación de los cuantificadores existencial y universal se simboliza por:

~(∃ x ∈ A / p(x)) ≡ ∀x ∈ A, ~p(x)

~( ∀ x ∈ A , p(x)) ≡ ∃ x ∈A / ~p(x)

NOTAS:

1. Los cuantificadores pueden combinarse por ejemplo: ∀x; ∃y: x + y = x

2. El símbolo ∃! es leído como “Existe un único….”

Ejemplos:
1. Determinar el valor de verdad de los siguientes enunciados
Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9}
a) ∃ x ∈ A | x + 7 < 7 ≡ (F) Falso, porque ningún elemento de A cumple
b) ∃ x ∈ A | x + 7 ≥ 16 ≡ (V) Verdadero, ya que x = 9
c) ∀ x ∈ A | x + 7 > 16 ≡ (F) Falso, ya que no se cumple para todos los elementos del
conjunto dado.
d) ∀ x ∈ A | x + 7 ≤ 16 ≡ (V) Verdadero, ya que se cumple para todos los elementos del
conjunto dado.
2. Dado M = {1,2,3} determinar el valor de verdad de cada una de las proposiciones siguientes
justificando debidamente su respuesta, luego indique sus negaciones.
(3 puntos)
a) ∀ x ∈ M, ∀ y ∈ M, x 2 + 3y < 12
b) ∀ x ∈ M, ∃ y ∈ M, x 2 + 3y < 12
c) ∃x ∈ M / ∃ y ∈ M, x 2 + 3y < 12
Solución
a) Es falsa, pues para x = 2 ∈ M ; y = 3 ∈ M no se cumple que x 2 + 3y < 12
b) Es falsa, pues para x = 3 ∈ M no existe ningún y ∈ M que haga cumplir x 2 + 3y < 12
c) Es verdadera, pues para x = 2 ∈ M ; y = 1 ∈ M hace cumplir x 2 + 3y < 12
Las negaciones correspondientes son:

~[ ∀ x ∈ M, ∀ y ∈ M, x 2 + 3y < 12] ≡ ∃x ∈ M | ∃ y ∈ M: x 2 + 3y ≥ 12

~[∀ x ∈ M, ∃ y ∈ M, x 2 + 3y < 12] ≡ ∃x ∈ M | ∀ y ∈ M: x 2 + 3y ≥ 12

~[∃x ∈ M / ∃ y ∈ M, x 2 + 3y < 12] ≡ ∀x ∈ M | ∀ y ∈ M: x 2 + 3y ≥ 12

3 Negar la siguiente proposición: ∀ x, ∃ y | [p(x, y) → q(x, y)]

Solución

~[∀ x, ∃ y | [p(x, y) → q(x, y)]] ≡ ∃ x, ∀ y | ~ [~p(x, y) ∨ q(x, y)]

≡ ∃ x, ∀ y | [p(x, y) ∧ ~q(x, y)]

Ejercicios Propuestos

1. Si A = 0, 1, 2, 3, 4, 5 ¿Cuáles de las siguientes proposiciones son verdaderas?

 x  A / x2 = x

 x  A / y  A, xy  0

 x  A , y  A / x + 2 = y

 x  A / y  A, x + y es par

2. Indicar si son V o F las siguientes proposiciones:

a) Todo número natural es un entero positivo.
b) Existen números enteros que son naturales.
c) Todo número entero es racional
d) Existen números irracionales que son naturales

3. Hallar la negación de la siguiente proposición

∀ a ∈ R , ∀ b ∈ R: ab = 0 ↔ (a = 0 ∨ b = 0)
4. Negar las siguientes proposiciones para el conjunto Z de números enteros y luego determine
el valor de verdad de cada una de ellas:
 ∀x ∈Z , x+1 >x
 ∃ x ∈ Z | x2 = x
 ∃ x ∈ Z | x2 + 1 = 0
 ∀ x ∈ Z , x2 − 1 > 0

5. Negar las siguientes proposiciones

i. ∀ x ∈ A, ∃ y ∈ A | [p(x, y) → q(y)]
ii. ∃ x ∈ M | ∃ y ∈ B | p(x) ∧ q(x)
iii. ∃ x ∈ C , ∀ x ∈ A | ~p(x) ∧ q(x)

6. Dado M = {1,2,3,4,5} determinar el valor de verdad de cada una de las proposiciones

siguientes justificando debidamente su respuesta, luego indique sus negaciones

 ∀ x ∈ M, ∀ y ∈ M, x + y ≤ 7
 ∃ x ∈ M, x + 3 ≤ 10
 ∀ x ∈ M, x + 3 > 6

7. Si A = {1,2,3,4,5} y B = {−2, −1,0,5,6} establecer el valor de verdad de cada una de las

proposiciones siguientes justificando debidamente su respuesta

 ∀ x ∈ A, ∃ y ∈ B: x + y < 3
 ∃! y ∈ B, ∀x ∈ A: x − y > 1
 ∀ x ∈ B, ∀ y ∈ A: x < y → x 2 < y 2
8. Hallar los valores de verdad de la negaciones de las proposiciones siguientes
i. [∀ x ∈ N | x + 2 = 5] ∧ [∀ x ∈ N , x 2 > x]
ii. ∃ x ∈ R | √−x ∈ R
iii. [∀ x ∈ Z , −x < 0] ∨ [∃x ∈ Z , −x = x]

EJERCICIO 10.