Cuantificadores

Cuando se habla de cuantificadores en términos de Lógica, Teoría de Conjuntos o

Matemáticas en general, se hace referencia a aquellos símbolos que se utilizan para
indicar cantidad en una proposición, es decir, permiten establecer “cuántos”
elementos de un conjunto determinado, cumplen con cierta propiedad.

Los cuantificadores permiten la construcción de proposiciones a partir de

funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo,
si consideramos la función proposicional:

P(x) = x es menor que dos

Esto podría particularizarse así: “Existe un número real que es menor que dos”
o generalizarlo diciendo: “Todos los números reales son menores que dos”.

En cualquiera de los dos casos, se especifica un conjunto donde está tomando

valores la variable, para nuestro ejemplo, el conjunto de los números reales.

Para notar la particularización y la generalización, se utiliza la siguiente

simbología, respectivamente:

que se lee: “existe un equis que pertenece a erre (a los reales), tal que equis es
menor que dos”

Mientras que:
 se lee: “para todo equis que pertenece a erre (a los reales), se cumple que equis
es menor que dos”

El símbolo (para todo…) se denomina cuantificador universal, y el

símbolo (existe al menos un…) se denomina cuantificador existencial.

Así, un cuantificador transforma una función proposicional, en una proposición

a la cual se le asigna un valor de verdad.

Los cuantificadores más utilizados son entonces:

CUANTIFICADOR UNIVERSAL (para todo…):

Se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen

con una condición o propiedad determinada. Esto se expresa como:

 CUANTIFICADOR EXISTENCIAL (Existe al menos un…):

s Se utiliza para indicar que existen uno o más elementos en el conjunto A que
cumple(n) con una condición o propiedad determinada.

 CUANTIFICADOR EXISTENCIAL ÚNICO (existe un único…):

Se utiliza para indicar que existe exactamente un elemento en el conjunto A

que cumple con una condición o propiedad determinada.

NEGACIÓN DE PROPOSICIONES CON CUANTIFICADORES

Sea p(x) una función proposicional con extensión A, entonces:

Repasemos los Cuantificadores en lógica: existencial y universal

https://www.youtube.com/watch?v=k1atu-Fx-go
Ejemplos:

1. Sea A = {1, 2, 3, 4, 5}. Determine el valor de verdad de cada uno de los

enunciados siguientes:

a. ( X E A) (X+3=10)

Es FALSO porque ningún número de A es una solución de x+3=10

b. ( XEA) (X+3 <10)

Es VERDADERO. Cualquier número de A cumple que x+3<10

2. Negar las siguientes proposiciones cuantificadas. Luego, simbolizar la

proposición y la negación de dicha proposición.

a. Todos los números naturales son pares.

b. Existe un número par que no es múltiplo de 4.

SOLUCIÓN:

a. Negación: Existe por lo menos un número natural que no es par.

Proposición:

( XEN) ( X ES PAR)

Negación:

( X E A) (X NO ES PAR)

b. Negación: Todos los números pares son múltiplos de 4

Proposición:

( X PAR | X NO ES MÚLTIPLO DE 4)

Negación:

( X PAR | X ES MULTIPLO DE 4)

EJERCICIOS RESUELTOS
Ejercicios de cuantificadores “todas las hormigas son insectos"

Para toda x, si x es hormiga entonces x es insecto que se puede simbolizar de

la manera siguiente:
(∀x) (Hx → Ix)

Donde Hx simboliza la expresión: " x es hormiga", e Ix simboliza la expresión

"x es insecto". "hay animales carnívoros"

Se observa que se puede escribir como:

"existe al menos un x, tal que x es animal y x es carnívoro “que se puede

simbolizar como:
(∃x) (Ax ∧ Cx).

EXPRESAR “TODOS LOS GATOS TIENEN COLA” EN CALCULO DE

PREDICADOS

Solución:

Hallar primero el ámbito del cuantificador universal, que es “Si x

es un gato, entonces x tiene cola” y se define como:

Gx ↔ x es un gato Cx ↔ x tiene cola

∴ (∀x) Gx → Cx

Cuantificadores dos
Q es sun cuantificador?
Mejor respuesta: Es una expresion que se utiliza para convertir enunciados abierto en
proposiciones. Existen dos tipos de cuantificadores:

1) cuantificador universal, para todos (es una A mayuscula al reves)

2) 1) cuantificador existencial, existe un (es una E mayuscula al reves)

Gottlob Frege
(1848/11/08 - 1925/07/26)

Gottlob Frege
Friedrich Ludwig Gottlob Frege

Matemático y filósofo alemán

Nació el 8 de noviembre de 1848 en Wismar, Alemania.

Cursó estudios en las universidades de Jena y Gotinga.

Fundador de la moderna lógica matemática y la filosofía analítica. Trabajó intentando deducir los
principios de la aritmética de los principios de la lógica. Inventó muchas notaciones simbólicas,
como cuantificadores y variables, estableciendo así las bases de la lógica matemática moderna.
Defensor del logicismo, la tesis de que las matemáticas son reducibles a la lógica, en el sentido
que las verdades de la matemática son deducibles de las verdades de la lógica.

Frege fue también un importante filósofo del lenguaje. La distinción entre sentido y referencia y
entre concepto y objeto se deben a él.

Su obra influyó en el filósofo británico Bertrand Russell.

Su escrito Notación conceptual (1879) es la más importante de sus publicaciones, también

escribió Fundaciones de la aritmética (1884) y Leyes básicas de la aritmética(1893-1903).

Gottlob Frege falleció en Bad Kleinen, Alemania, el 26 de julio de 1925.