Cuantificadores

LÓGICA
Kr Mat
CUANTIFICADORES kr - Mat

CUANTIFICADORES

FUNCIÓN PROPOSICIONAL
Es todo enunciado abierto P(x) que no tiene valor de verdad, pero que al reemplazar “x” por un valor
determinado del “dominio”, se transforma en proposición.

Ejemplo.
Sea: P(x): x > 7. Dominio: A = {x/x ɛ N}. determina el valor de verdad de P(4) ˅ P(35)
Solución
x  4  4  7  F
  P4  P35  F  V  V
 x  35  35  7  V

CUANTIFICADOR
Es una expresión que indica si la variable de una función se toma en todo su dominio o en una parte de
él

o Cuantificador Universal “  ”
Es una proposición de la forma: x  A, Px  .
Se lee: Para todo elemento “x” que pertenece al dominio “A” se cumple P(x)

Esta proposición es verdadera, cuando todos los valores de verdad de las proposiciones particulares
obtenidas al sustituir la variable por valores de su dominio, son VERDADERAS. Es decir, cuando
exactamente todos los “x” del conjunto “A” satisfacen la proposición “P(x)”.

El símbolo “  ” se llama cuantificador universal y se lee: “todo o para todo”, “cada o para cada”,
“cualquier o para cualquier”, “ningún o ninguno”.

Ejemplo.
1. La proposición “Todos los contratos son bilaterales” tiene una expresión simbólica:
solución
Todos los contratos son bilaterales: x  A, px 
 p

2. La proposición: x  , x 2  0 es verdadera
Verificación
- Si: x  3   3  9 . Se cumple: 9  0
2
(V)
- Si: x  5   5  25 . Se cumple: 25  0
2
(V)
Por lo tanto, x  , x  0 es verdadera, porque cumple para cualquier valor
2

(positivo o negativo)

3. La proposición: x  N , x  4 es falsa,
Verificación
- Si: x  1  1  4 . No cumple (F)
- Si: x  2  2  4 . No cumple (F)
- Si: x  4  4  4 . No cumple (F)
Por lo tanto, x  N , x  4 es falsa, porque no cumple para los valores que son
menores de 5.
CUANTIFICADORES kr - Mat

o Cuantificador Existencial “  ”
Es una proposición de la forma: x  A, px  .
Se lee: Existe por lo menos un elemento “x” que pertenece al dominio “A” para que se cumpla P(x)

Esta proposición es verdadera, cuando es verdadera por lo menos uno de los valores de verdad de
las proposiciones particulares obtenidas al sustituir la variable por valores de su dominio. Es decir, si
solamente algunos elementos “x” del conjunto “A” satisfacen la proposición “P(x)”.

El símbolo “  ”se llama cuantificador existencial y se lee indistintamente: “existe”, “hay”, “algún”

Ejemplo.

1. La proposición “Algunas empresas se dedican a las importaciones” tiene una expresión

simbólica:
solución
Algunas empresas se dedican a las importaciones: x  A, px 
 p

2. La proposición x  , x 2  5 es verdadera.
Verificación
- Si: x    2
5  5  5 . Se cumple. (V)
Por lo tanto, x  , x  5 es verdadera, porque al menos se cumple para un valor
2

3. La proposición: x  A, x 2  5 donde A  2,5 es falsa.

Verificación
- Si: x  5  25  5 . No cumple (F)
- Si: x  2  4  5 . No cumple (F)
Por lo tanto, x  A, x  5 es falso, porque no existe ningún número natural elevado
2

al cuadrado se obtenga 5.

Resumen
En el siguiente cuadro, se aprecia los dos cuantificadores lógicos con sus traducciones verbales

Cuantificador Universal:  Cuantificador Existencial: 

Para todo “x” Quienquiera que sea “x” Existe “x” Algunos “x”
Para cada “x” Todo “x” Hay “x” La mayoría de “x”
Para cualquier “x” Las “x” , Los “x” Pocos “x” Hay exactamente un “x”
Cualquier “x” Para cada una de las “x” Alguno que sea “x” Casi todo “x”
Todo lo que sea “x” Cualquiera que sea “x” La mayoría de “x” Existe al menos un “x”
Un “x”, una “x” Si es “x”…, entonces es “y” Tantos, ciertos “x” Muchos “x”
El “x”, La “x” Ni un … Unos(as) “x”

NEGACIÓN DE CUANTIFICADORES
Para negar el hecho que exista un “x” en “A” tal que se cumpla P(x), equivale a afirmar que ningún
elemento “x” de “A” satisface la condición P(x).
Es decir, si decimos que:

o P(x): Todas las fichas son azules; tenemos la certeza de que cualquier elemento de P(x), es
una ficha, es azul.
Pero al negar la proposición anterior, no significa que “Ninguna ficha sea azul”. Sino, que habrá
fichas de otros colores, no importa de cuál otro color, pero no todas las fichas de P(x) son
azules.
CUANTIFICADORES kr - Mat

o P(x): Algunas fichas son azules; tenemos la certeza de que al menos un elemento de P(x), es
una ficha, es azul.
Pero al negar la proposición anterior, no significa que “Algunas fichas no sean azules”. Sino,
que todas las fichas son de otros colores, no importa de cuál otro color; es decir todas las
fichas de P(x) no son azules.

Cuando es falsa una afirmación sobre todos los elementos de un conjunto, sucede que al
menos un elemento del conjunto no cumple con dicha afirmación

Para negar una proposición que tiene cuntificador, se tiene en cuenta:

En forma general:

Cuidado
La negación de Todos, no es Ninguno

Ejemplo.
Negar las siguientes proposiciones:

1. “Todos los contratos son bilaterales”

solución
Todos los contratos son bilaterales: x  A, px 
 p
Como la proposición se representa: x  A, px  Su negación será: x  A, Np x 
Entonces, la negación de la proposición será:
Algunos contratos no son bilaterales / Existen contratos que no son bilaterales

2. “Algunas empresas se dedican a las importaciones”

solución
Algunas empresas se dedican a las importaciones: x  A, px 
 p
Como la proposición se representa: x  A, px  Su negación será: x  A, Np x 
Entonces, la negación será:
Ninguna empresa se dedica a las importaciones