DEPARTAMENTO ACADÉMICO DE MATEMÁTICAS

DESARROLLO DEL PENSAMIENTO LÓGICO MATEMÁTICO

CUANTIFICACIÓN DE
FUNCIONES
PROPOSICIONALES Y
MÉTODOS DE
DEMOSTRACIÓN
ING. DE MINAS
Prof. Ingrit Gretha Maraví Alvarado
 CONTENIDOS
▸ Función proposicional.
▸ Cuantificadores existencial y universal
▸ Proposiciones universales
▸ Proposiciones particulares
▸ Negación de proposiciones que
contienen cuantificadores.
▸ Uso de los cuantificadores
▸ Métodos de demostración.

2
Función proposicional
Qué es una 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 “c”.

El conjunto de todos los valores que satisfacen para

la variable “x” recibe el nombre de dominio de la
variable.
4
 Ejemplos

▸ En (1) si “x” fuese cualquier entero, entonces p(x) es una

función proposicional, cuyo domínio son los enteros.

Por tanto p(x) es una función proposicional

▸ En (2) si “x”

Por tanto q(x) es una función proposicional

5
 Ejemplos
▸ En (3) si “x”

No se le puede asignar ni verdadero ni falso, luego r(x) no es una

función proposicional.

▸ En (4) si “x”

Por tanto s(x) es una función proposicional

6
Cuantificadores
universal y existencial
Proposiciones universales, existenciales y negación
de cuantificadores
▸ Sea la función proposicional:
p(x): x es un número primo (1)
Si le anteponemos la expresión “Para todo x” se obtiene
“Para todo x, x es un número primo” (2)
Con ello se indica el sentido universal de la función proposicional p.
▸ La expresión “para todo x” se denomina cuantificador universal.
Símbolo: ∀𝑥
▸ (2) se puede escribir como:
∀𝑥: x es un número primo. (3)
▸ Por tanto, (3) es una proposición.

8
En resumen:
▸ Si se tiene una función proposicional p(x), se puede obtener de él
una proposición mediante la adjudicación de un cuantificador
universal,
∀𝑥: 𝑝(𝑥) o ∀𝑥|𝑝(𝑥) o ∀𝑥 [𝑝 𝑥 ]
▸ Se lee:
“Para todo x, tal que, se verifique p(x)”

9
▸ Sea la función proposicional:
p(x): x es un número primo (1)
Si le anteponemos la expresión “Existe x tal que” se obtiene
“Existe x tal que, x es un número primo” (4)
Esta afirmación establece que por lo menos hay un objeto que es un
número primo.
▸ La expresión “existe x tal que” se denomina cuantificador existencial
o particular.
Símbolo: ∃𝑥
▸ (4) se puede escribir como:
∃𝑥: x es un número primo. (5)
▸ Por tanto, (5) es una proposición.
10
En resumen:
▸ Si se tiene una función proposicional p(x), se puede obtener de él
una proposición mediante la adjudicación de un cuantificador
existencial,
∃𝑥: 𝑝(𝑥) o ∃𝑥|𝑝(𝑥) o ∃𝑥 [𝑝 𝑥 ]
▸ Se lee:
“Existe por lo menos un x, tal que, se verifique p(x)”

11
 Ejemplos
Para el conjunto 𝐴 = −1, 2, 3, 4 se tiene:
a) ∀𝑥 ∈ 𝐴: 3𝑥 − 2 < 12.
Se lee “para todo x que está en el conjunto A, cumple que 3𝑥 − 2 < 12”. Es una
proposición verdadera, porque todo elemento de A cumple la propiedad 3𝑥 − 2 <
12.

b) ∃𝑥 ∈ 𝐴: 𝑥 2 − 2𝑥 = 8
Se lee “existe (al menos un) x que está en el conjunto A, cumple que 𝑥 2 −2𝑥 = 8”.
Es una proposición verdadera, pues para x=4 cumple la propiedad 𝑥 2 − 2𝑥 = 8.

c) ∀𝑥 ∈ 𝐴: 𝑥 2 + 3𝑥 + 1 > 0
La proposición es falsa, pues para x=-1 no se cumple 𝑥 2 +3𝑥 + 1 > 0

12
 Proposiciones universales
Es aquella que está provista de un cuantificador universal, tiene la
forma:
∀𝑥 ∈ 𝐴: 𝑝(𝑥)

Ejemplos:
1) Si 𝐴 = {−1, 1, 2, 3} se tiene
a) “∀𝑥 ∈ 𝐴: 𝑥 ∈ ℕ”,
la proposición es falsa, pues hay al menos un elemento de A (-1) que no es un
número natural.
b) “∀𝑥 ∈ 𝐴: 3𝑥 2 − 𝑥 ≥ 2”,
la proposición es verdadera, pues cada uno de los elementos cumple la
propiedad 3𝑥 2 − 𝑥 ≥ 2.

2) “Todos los bolígrafos son azules”

Si representamos por B el conjunto de todos los bolígrafos azules, “∀𝑥 ∈ 𝐵: 𝑥 𝑒𝑠 𝑎𝑧𝑢𝑙”.
La proposición es falsa, pues hay bolígrafo que son rojos, negros, etc. 13
En general:

La proposición universal ∀𝑥 ∈ 𝐴: 𝑝(𝑥) es verdadera

si la propiedad 𝒑(𝒙) lo es, es decir, se cumple con
cada uno de los elementos de A, y es falsa si hay
al menos un elemento de A que no cumple tal
propiedad.

14
 Proposiciones particulares o
existenciales
Es aquella que está provista de un cuantificador existencial, tiene la
forma:
∃𝑥 ∈ 𝐴: 𝑝(𝑥)

Ejemplos:

1) Si 𝐴 = {1, 2, 3,4} se tiene

a) “∃𝑥 ∈ 𝐴: 2𝑥 + 1 > 8”,
es verdadera, pues hay al menos un x=4 que cumple 2𝑥 + 1 > 8.
b) “∃𝑥 ∈ 𝐴: 𝑥 2 + 2𝑥 = 5”,
es falsa, pues ninguno de los elementos x de A cumplen tal propiedad.

2) La proposición: ∃𝑥 ∈ ℕ| x es par y primo,

es verdadera, pues 2 ∈ ℕ cumple la propiedad “x es par y primo”

15
En general:
La proposición existencial ∃𝑥 ∈ 𝐴: 𝑝(𝑥) es verdadera si
en A hay por lo menos un x que cumple la propiedad
𝒑(𝒙), y es falsa si ningún elemento de A cumple
𝒑(𝒙), es decir, todo elemento de A no cumple 𝒑 𝒙 .

Observación:
Si la proposición ∃𝑥 ∈ 𝐴: 𝑝(𝑥) es verdadera para un único x de
A se escribe:
∃! 𝒙 ∈ 𝑨: 𝒑(𝒙)

16
 Negación de proposiciones que contienen
operadores cuantificacionales
Show and explain your web, app or software projects using
these
Sea la gadget templates.
proposición:
p(x): “x es un planeta habitable”
Luego, la expresión ∀𝑥: 𝑝(𝑥) es falsa, y queremos afirmar su negación:
~[∀𝑥: 𝑝(𝑥)]
Se lee: “No para todo x, x es un planeta habitable” y significa “Existe por lo menos
un planeta habitable” o “No todos los planetas son habitables”.

Teorema 1.- La negación del cuantificador universal es

equivalente a la afirmación de un cuantificador existencial
respecto de la función proposicional negada.

~ ∀𝑥: 𝑝 𝑥 ≡ [∃𝑥: ~𝑝(𝑥)]

17
Sea la proposición:
p(x): “x es un planeta habitable”
Luego, la expresión ∃𝑥: 𝑝(𝑥) es verdera, luego su negación:
~[∃𝑥: 𝑝(𝑥)]
significa “No existe x, tal que x sea un planeta habitable”, “Todos los planetas
son no habitables”, “Para todo x, no es el caso que x sea un planeta”

Teorema 2.- La negación del cuantificador existencial es

equivalente a la afirmación de un cuantificador universal
respecto de la función proposicional negada.

~ ∃𝑥: 𝑝 𝑥 ≡ [∀𝑥: ~𝑝(𝑥)]

Estas negaciones de proposiciones que contienen

cuantificadores se conocen como Teoremas de Morgan
18
En general si A representa el conjunto de todos los valores posibles para la variable
x tenemos:

Teorema 3.-
~ ∀𝑥 ∈ 𝐴: 𝑝 𝑥 ≡ [∃𝑥 ∈ 𝐴: ~𝑝(𝑥)]

“No es verdad que, para todo a ∈ 𝐴, p(a) es verdadera” es

equivalente a “existe un a ∈ 𝐴 tal que p(a) es falso”

Teorema 4.-
~ ∃𝑥 ∈ 𝐴: 𝑝 𝑥 ≡ [∀𝑥 ∈ 𝐴: ~𝑝(𝑥)]

“No es verdad que, existe un a ∈ 𝐴, p(a) es verdadera” es

equivalente a “para todo a ∈ 𝐴, p(a) es falso”

19
Funciones lógicas que contienen más de una
variable
Ejemplo1
Show and explain your web, app or software projects using
x mató a y
these gadget templates.
Es una expresión en dos variables, para cada sustitución de variables
por nombres se obtiene una proposición. Para x= Bruto e y=César, se
produce la proposición:
p(x,y): Bruto mató a César.
Ejemplo 2
Para tres variables se tiene:
x vió que y mataba a z
Reemplazando x= Napoleón, y =Bruto, z=César, produce la proposición:
p(x,y): Napoleón vió que Bruto mató a César.

Otro ejemplo, x+y+z=1, Para x=2, y=3, z=-1, produce la proposición

p(x,y,z): 4=1.

20
Uso de cuantificadores
 Si se coloca un cuantificador delante de una función proposicional
de varias variables no se obtiene una proposición sino una función
proposicional de menor número de variables.

Ejemplo 1:

(3) Es una función proposicional en dos variables: y,z.

Si a (3) aplicamos el cuantificador existencial en “y”, se obtiene

que es una función proposicional en la variable z.

Nuevamente si a (4) le aplicamos el cuantificador universal en z, se obtiene:

que es una proposición.

22
▸ Ejemplo 2
▸ Una posible interpretación es: “Dado cualquier número 𝑧, existe por lo
menos un número 𝑦 tal que, para cualquier número 𝑥 es 𝑥 + 𝑦 + 𝑧 = 1”.
▸ Para determinar su valor de verdad:
▹ Como la proposición es para todo 𝑧, tomamos 𝑧 = −3, fijado esto, la
proposición afirma la existencia de un número “𝑦0 ”, tal que cualquiera
que sea 𝑥, se debe cumplir:

▹ Si en (6) tomamos 𝑥 = 1, la proposición afirma que 𝑦0 = 3 y si 𝑥 = 0,

se tiene 𝑦0 = 4.
▹ Luego como se muestra que 𝑦 debe valer simultáneamente 3 y 4, se
tiene que la proposición es falsa.

23
▸ Ejemplo 3
▸ Si alteramos el orden de los cuantificadores en (5) se obtiene:

▸ Lo que significa: “para números cualesquiera 𝑧 y 𝑥, existe un número 𝑦 tal

que 𝑥 + 𝑦 + 𝑧 = 1.
▸ Para determinar su valor de verdad:
▹ Como la proposición es para todo ‘𝑧’ e ‘𝑥’, tomamos 𝑧 = −3, 𝑥 = 1,
luego en (9) se tiene 𝑦 = −2. Análogamente, para 𝑧 = 0, 𝑥 = 2, existe
𝑦 = −1 que cumple la propiedad.
▹ Así como se dan primero los números arbitrarios 𝑧, 𝑥, luego para ellos
se afirma la existencia de un ‘𝑦’ (no debe considerarse que se trate
siempre del mismo ‘𝑦’) que cumple la propiedad. Por tanto la
proposición es verdadera.
24
En resumen: La aplicación de ‘n’ cuantificadores correspondientes a
las ‘n’ variables de una función proposicional, produce una proposición
que tiene un valor de verdad. Por ejemplo:

El orden en el que se aplican los cuantificadores es esencial; en

algunos casos al cambiar el orden de los cuantificadores cambia
la proposición obtenida.

25
Nota: la negación de una proposición cuantificada que contiene
más de una variable se obtiene:

Ejemplo 4. Sean H={Juan, Luis, Rubén} y M={Carmen, Patricia} y las

función proposicional: “x es el hermano de y”. Entonces:
∀𝑥 ∈ 𝐻, ∃𝑦 ∈ 𝑀: 𝑝(𝑥, 𝑦)
Significa: “Para todo x de H existe un y de M tal que x es el hermano
de y”. Es decir, todo elemento de H es el Hermano o bien de Carmen o
bien de Patricia.

26
En cambio

Significa “Existe un ‘y’ de M para todo ‘x’ de H tal que ‘y’ es hermano de
x”. Es decir, afirma que al menos una de las mujeres de M es hermana
de todos los hombres de H.

27
Métodos de
demostración
Directa e indirecta
Método directo

Cuando a partir del valor de verdad de 𝑝 o de un

conjunto de premisas de la forma
𝑝1 ∧ 𝑝2 ∧ ⋯ ∧ 𝑝𝑘 ⟶ 𝑞 (𝛼)
Se deduce la verdad de la conclusión 𝑞, se usado una
demostración directa.

29
Ejemplo
Demostrar que: “Si 2𝑥 2 + 𝑎 < 9 y 𝑥 = 2, entonces 𝑎 < 1”
Demostración:
Sean 𝑝: 2𝑥 2 + 𝑎 < 9, 𝑞: 𝑥 = 2 y 𝑟: 𝑎 < 1. Probar que (𝑝 ∧ 𝑞) → 𝑟 es
válida.
En efecto:

30
Método indirecto (por contradicción o
reducción al absurdo)
Los pasos a seguir son:
1. Introducir la negación de la conclusión desesada como una nueva
premisa.
2. De esta premisa adicional, junto con las dadas, deducir una
contradicción.
3. Establecer la conclusión deseada como deducción lógica de las premisas
originales.

Se comprueba que (𝛼) y 𝛽 son equivalentes (Ejercicio)

31
Ejemplo
Si el contrato no se cumple, entonces la construcción del edificio no se
terminará a fin de año. Si la construcción no se termina a fin de año,
entonces el banco pierde dinero. Por tanto, si el contrato no se cumple,
entonces el banco pierde dinero.
Demostración:
Sean
𝑝: el contrato se cumple
𝑞: la construcción del edificio se termina
𝑟: el banco pierde dinero
Entonces la inferência es

Demostremos que es válida por el método indirecto

Por tanto, como el resultado arroja una tautología
queda demostrado que la inferencia es válida.
32
Ejercicio 7

33
 Referencias Bibliográficas

1. Bustamante Arias, A. (2009). Lógica y argumentación- De los

argumentos inductivos a las álgebras de Boole. Pearson
Educación.
2. Castillo Pacheco, E. y Pinta Maritza Alexandra (2016). Lógica
Matemática I. Machala, Ecuador: Universidad Técnica de Machala.
3. Figueroa, R. (2006). Matemática básica 1. Editorial RFG.
4. Rea, B. (2003). Introducción a la Lógica. Lima, Perú: Editorial
Mantaro.

34
Gracias!

35