Cuantificadores PDF

Cuantificadores
Función proposicional
Sea 𝑆 un conjunto de símbolos y sea (𝑃, ˄,∨) el álgebra de Boole de las proposiciones
lógicas. Denominamos función proposicional o predicado en variable sobre 𝑆, a una
correspondencia tal que a cada símbolo de 𝑆 le corresponda una proposición de 𝑃.
𝑓∶ 𝑆 → 𝑃
∀𝑥 ∈ 𝑆, 𝑓 (𝑥) = 𝑎𝑥 ∈ 𝑃
Obviamente, la imagen, 𝑎𝑥 , del elemento 𝑥 puede ser una proposición verdadera o bien una
proposición falsa. Llamaremos 𝑉𝑠 𝑓 al conjunto de valores de 𝑆 para los cuales 𝑓(𝑥) es una
proposición verdadera. O sea:
𝑉𝑠 𝑓 = {𝑥 ∈ 𝑆 / 𝑓 (𝑥)}
Esto nos indica que la condición necesaria y suficiente para que un elemento ℎ ∈
𝑆 pertenezca al conjunto 𝑉𝑠 𝑓es que 𝑓(ℎ) sea una proposición verdadera:
ℎ ∈ 𝑉𝑠 𝑓 ⇔ 𝑓 (ℎ)
Es decir,
Dado un conjunto 𝐸 se denomina función proposicional o predicado en una variable 𝑥 que
toma valores de 𝐸, a una propiedad en la que interviene 𝑥, de forma que al sustituirla por
cada elemento de 𝐸 se obtiene una proposición.
En esta definición intervienen tres objetos
 un predicado, o frase que expresa una propiedad,
 una variable que toma como valores los elementos de un conjunto,
 este conjunto, denominado conjunto referencial, de los valores de la variable.
 Si en la frase "𝑥 es menor que 𝑦" sustituimos 𝑥 e 𝑦 por elementos de dos conjuntos
referenciales, que eventualmente pueden coincidir, obtendremos proposiciones, por lo
cual la frase anterior recibe también el nombre de función proposicional o predicado en
dos variables
Cuantificadores
Son expresiones “para todo” o “algunos”, que se anteponen a un enunciado abierto para
convertirlo en proposición. Estas proposiciones indican dos opciones: que todos los
elementos intervienen o que algunos elementos intervienen.
Se utilizan en el lenguaje cotidiano y también en el lenguaje matemático.
Ejemplos
• Algunos estudiantes tienen problemas de conectividad.
• Todas las mujeres son hermosas
• Algunos futbolistas Colombianos llegan al extranjero.
• Todos son imparciales.
Observación: Por medio de la cuantificación también se pueden crear proposiciones

desde una función proposicional.
Clases de cuantificadores
Cuantificador Universal
Es una generalización de la conjunción. Por ello es verdadero cuando todos los
valores de “𝑥” que pertenecen al dominio de 𝐴 son verdaderos.
Se denota:
∀𝑥; 𝐹(𝑥)
Se lee: “Para todo 𝑥”, “Todas las 𝑥”, “Para cada 𝑥”, etc.
Cuantificador Existencial
Es una generalización de la disyunción. Por ello, es verdadero al menos un valor de
“x” perteneciente al domino de 𝐴, es verdadero.
Se denota:
∃𝑥/𝐹(𝑥)
Se lee: “Existe al menos un 𝑥”, “Algunos 𝑥”, “Existe un 𝑥”, etc.
Todo cuantificador lleva asociada una variable y un conjunto referencial y su alcance es el
predicado sobre el que recae la acción del cuantificador y que viene despues de la variable
delimitado por paréntesis.
Ejemplos
 "Todo el mundo odia a todo el mundo"
Esta proposición es equivalente a “Para todo 𝑥 y para todo 𝑦, 𝑥 odia a 𝑦"
Formalización: ∀𝑥 ∈ 𝐻 ∀𝑦 ∈ 𝐻 𝑂 𝑥, 𝑦
 "Todo el mundo odia a alguien“

Es equivalente a "para todo 𝑥 existe 𝑦 tal que 𝑥 odia a 𝑦"
Formalización: (∀𝑥 ∈ 𝐻)(∃𝑦 ∈ 𝐻) 𝑂(𝑥, 𝑦),
 "Hay alguien a quien todo el mundo odia“

Es equivalente a "existe 𝑦 tal que para todo 𝑥, 𝑥 odia a 𝑦"
Formaliza como (∃𝑦 ∈ 𝐻)(∀𝑥 ∈ 𝐻) 𝑂(𝑥, 𝑦),
 "Todo el mundo es odiado por alguien"
Equivalente a "para todo 𝑦 existe 𝑥 tal que 𝑥 odia a 𝑦"
Formalización: (∀𝑦 ∈ 𝐻)(∃𝑥 ∈ 𝐻) 𝑂(𝑥, 𝑦)
 "Hay alguien que odia a todo el mundo"

Equivalente a "existe 𝑥 tal que para todo 𝑦, 𝑥 odia a 𝑦“
Formalización: (∃𝑥 ∈ 𝐻)(∀𝑦 ∈ 𝐻) 𝑂(𝑥, 𝑦)
 "Siempre hay alguien que odia a alguien"

Equivalente a "existe 𝑥 y existe 𝑦 tal que 𝑥 odia a 𝑦"
Formalización: (∃𝑥 ∈ 𝐻)(∃𝑦 ∈ 𝐻) 𝑂(𝑥, 𝑦).
Negación de los cuantificadores
La negación de cualquiera de los cuantificadores, se realiza negando la proposición 𝑃(𝑥) y
cambiando el cuantificador universal por el cuantificador existencial, o viceversa.
Esto es,
¬ ∀𝑥; 𝑃(𝑥) ⇔ ∃𝑥/¬𝑃(𝑥)
¬ ∃𝑥/𝑃(𝑥) ⇔ ∀𝑥; ¬𝑃(𝑥)

Ejemplo
Todos los números enteros son impares
Sea el domino 𝑍 y la función proposicional 𝑃(𝑥): 𝑥 es un número.
Esto es: ∀𝑥 ∈ 𝑍; 𝑃(𝑥)
¬ ∀𝑥 ∈ 𝑍; 𝑃(𝑥) ⇔ ∃𝑥 ∈ 𝑍/¬𝑃(𝑥)
Existe al menos un número entero que no es impar.

Se definen la conjunción, disyunción o negación de funciones proposicionales del mismo
modo que se definen para las proposiciones lógicas:
Negación: Es el conector que cambia el valor de verdad de la proposición que conecta. Su
tabla de verdad:
𝑓(𝑥) 𝑓´(𝑥)
𝑉 𝐹
𝐹 𝑉
Conjunción: Es el conector de dos funciones proposicionales, 𝑓(𝑥), 𝑔(𝑥), que da lugar a

una proposición verdadera si ambas funciones son proposiciones verdaderas y a una
proposición falsa en caso contrario 𝑓(𝑥) 𝑔(𝑥) 𝑓(𝑥)˄𝑔(𝑥)
𝑉 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝐹
𝐹 𝐹 𝐹
Disyunción: es el conector de dos funciones proposicionales, f(x), g(x), que da lugar a
una proposición falsa si ambas funciones son proposiciones falsas y a una proposición
verdadera en caso contrario 𝑓(𝑥) 𝑔(𝑥) 𝑓(𝑥)˄𝑔(𝑥)
𝑉 𝑉 𝑉
𝑉 𝐹 𝑉
𝐹 𝑉 𝑉
𝐹 𝐹 𝐹
Definición:
Un termino es una cadena de símbolos utilizadas para representar objetos siguiendo las
siguientes reglas:
1) Una variable es un término.
2) Una constante es un término.
3) Si 𝑓 es un símbolo de función n-aria y, 𝑡1 , … , 𝑡𝑛 son términos , entonces 𝑓(𝑡1 , … , 𝑡𝑛 ) es
un término. 𝑓(𝑡1 , … , 𝑡𝑛 ) es una fórmula que se llama atómica o átomo de la lógica de
predicados.
4) No hay más términos que los generados por 1), 2) y 3).
Definición:
En una expresión de tipo ∀𝑥𝐴, ∃𝑥𝐴, la variable 𝑥 es conocida como la variable de
cuantificación, a la formula 𝐴 como ámbito o recorrido de la cuantificación.
Definición:
En una fórmula bien formada A, una variable esta ligada si esta en el ámbito de un
cuantificador que la tiene como variable de cuantificación. Una variable esta libre si no esta
ligada.
Ejemplo:
En la expresión ∀𝑥𝑃(𝑥, 𝑓 𝑥, 𝑦 )
 La variable 𝑥 aparece en el ámbito del cuantificador universal que además la tiene como
variable de cuantificación, por lo tanto es una variable libre.
 La variable 𝑦 también esta en el ámbito del cuantificador universal, pero este no la
tienen como variable de cuantificación, por lo tanto, es una variable libre.
Definición:
Se dice que una fórmula bien formada es una formula cerrada si todas sus variables están
ligadas.
Nota:
Si A es una formula bien formada y x es una variable libre en A entonces ∀𝑥𝐴 y ∃𝑥𝐴 son
fórmulas bien formadas.
Definición:
Si en una fórmula se fijan los referenciales, los predicados, las funciones y se dan valores a las
variables libres, se obtiene una interpretación de la fórmula, que puede ser lingüística, si el
significado de los diversos símbolos se describe mediante conceptos expresables en el
lenguaje natural. El resultado es una proposición, si la fórmula es cerrada, o un predicado, si
la fórmula es abierta.
Ejemplo
Para la fórmula
𝑃(𝑎) ∧ (∀𝑥 ∈ 𝑈) (𝑃(𝑥) → 𝑃(𝑓(𝑥)) → (∀𝑥 ∈ 𝑈) (𝑃(𝑥))
𝑎 es una constante y 𝑓 una función, podemos construir una interpretación lingüística

haciendo
𝑈 ∶ el conjunto de las personas
𝑎 ∶ Maragall
𝑓(𝑥) ∶ el padre de 𝑥
𝑃(𝑥) ∶ 𝑥 es poeta
obteniéndose la proposición
"Si Maragall es poeta y si todo padre de poeta es poeta, entonces todo el mundo es poeta".
Nota
En el lenguaje natural palabras como "alguno", "cada", "todos" y otras, indican los
cuantificadores subyacen en muchas expresiones.
Ejemplo
Proposiciones como "Algunas estrellas tienen planetas" o "Todo hombre es mortal" son
proposiciones cuantificadas, que podrían enunciarse así:
"Algunas estrellas tienen planetas"
 "Existe algún 𝑥 del conjunto de los objetos del universo tal que si 𝑥 es una estrella, entonces
tiene planetas“
"Todo hombre es mortal"

 "Para todo 𝑥 del conjunto de los seres vivos, si 𝑥 es un hombre, entonces 𝑥 es mortal".
Ejemplo
La proposición "Hay ingleses que son amigos de los franceses" puede formalizarse definiendo los
siguientes predicados: 𝐴(𝑥, 𝑦) : "𝑥 es amigo de 𝑦" , 𝐼(𝑥) ∶ "𝑥 es inglés" y 𝐹(𝑥) : "𝑥 es francés",
obteniéndose
(∃𝑥) (𝐼(𝑥) ∧ (∀𝑦) (𝐹(𝑦) → 𝐴(𝑥, 𝑦)
Ejemplo
Tomemos la formula:
(∀𝑥 ∈ 𝑋) (𝑃(𝑥, 𝑓(𝑥, 𝑦, 𝑎))
Haciendo: 𝑋 = 𝑅 , 𝑃 𝑥1 , 𝑥2 : 𝑥1 >𝑥2 , 𝑎 = 3 , 𝑦 = 𝜋 , 𝑓 𝑥1 , 𝑥2 , 𝑥3 = 𝑥2 + 𝑥3 𝑥12,
obtenemos la interpretación matemática.
"Todo número real es mayor que su cuadrado por 3 más π “

Propuesta
1. Formalizar la proposición
"Algunos profesores solo aprueban a los que asisten a clase".
2. Con los símbolos y significados siguientes:

𝑎: Alberto
𝑏: Berta
𝐺(𝑥): 𝑥 es generoso
𝐻(𝑥): 𝑥 es honrado
𝑇(𝑥, 𝑦): 𝑥 trata con 𝑦
a.) Dar interpretaciones lingüísticas a:

 ∀x (H(x) → T(b,x))
 (∀x G(x)) → (∀x T(b,x))
 ∃x (H(x) ∧ ¬T(x,a) ∧ ¬T(x,b))
b.) formalizar:
 Todos los generosos tratan con el Alberto.
 Si nadie fuese honrado Alberto no trataría con nadie.
 Si todos los honrados fuesen generosos, todos trataríamos con todos.

Cuantificadores PDF

Cargado por

Copyright:

Formatos disponibles

Cuantificadores PDF

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cuantificadores PDF

Cargado por

Copyright:

Formatos disponibles

Cuantificadores

Observación: Por medio de la cuantificación también se pueden crear proposiciones

 "Todo el mundo odia a alguien“

 "Hay alguien a quien todo el mundo odia“

 "Hay alguien que odia a todo el mundo"

 "Siempre hay alguien que odia a alguien"

¬ ∃𝑥/𝑃(𝑥) ⇔ ∀𝑥; ¬𝑃(𝑥)

Existe al menos un número entero que no es impar.

Conjunción: Es el conector de dos funciones proposicionales, 𝑓(𝑥), 𝑔(𝑥), que da lugar a

𝑎 es una constante y 𝑓 una función, podemos construir una interpretación lingüística

"Todo hombre es mortal"

Haciendo: 𝑋 = 𝑅 , 𝑃 𝑥1 , 𝑥2 : 𝑥1 >𝑥2 , 𝑎 = 3 , 𝑦 = 𝜋 , 𝑓 𝑥1 , 𝑥2 , 𝑥3 = 𝑥2 + 𝑥3 𝑥12,

obtenemos la interpretación matemática.

"Todo número real es mayor que su cuadrado por 3 más π “

2. Con los símbolos y significados siguientes:

a.) Dar interpretaciones lingüísticas a:

También podría gustarte