BIENVENIDO AL CURSO

MATEMÁTICA
MATEMÁTICA

Introducción

En muchos contextos, especialmente en los

relacionados a la computación, encontraremos
enunciados que no son ni verdaderos ni falsos, a
menos que sepamos el valor de la variable del cual
depende dicha expresión. Este es un esbozo de lo
que llamaremos función proposicional, porque se
convierte en una proposición cuando se le asigna
un valor específico a la variable en cuestión.
Índice

Tema 1 Cuantificadores.

Tema 2 Introducción al razonamiento

SEMANA lógico.

3 Tema 3 Aplicaciones

02
MATEMÁTICA

Logro de la sesión

Al Finalizar la sesión, el estudiante:

Representa los operadores lógicos y

predicados de un enunciado diferenciando
el cuantificador universal del
existencial.

03
MATEMÁTICA

FUNCIÓN PROPOSICIONAL
Una función proposicional es todo enunciado abierto de la forma 𝑃 𝑥 , que tiene la propiedad de convertirse en
una proposición al ser sustituido la variable 𝑥 por una constante especifica.

El conjunto de todos los valores convenidos para la variable 𝑥 recibe el nombre de dominio de la variable.

Ejemplos:
• 𝑷 𝒙 : 𝒙 es un número impar.
Si 𝑥 pertenece al conjunto de los numero enteros (ℤ), entonces 𝑃(𝑥) es una función proposicional, cuyo dominio es ℤ.

Note: Si 𝑥 = 1, entonces 𝑃 1 : 1 es un numero impar (Verdadero)

Si 𝑥 = 4, entonces 𝑃 4 : 4 es un numero impar (Falso)

• Q 𝒙 : 𝟑𝒙𝟐 + 𝟓.
2
Si 𝑥 = 1, entonces Q 1 :3 1 + 5 = 8, (No se le puede asignar un valor de verdad)
entonces 𝑄(𝑥) no es una función proposicional
MATEMÁTICA

FUNCIÓN PROPOSICIONAL

• R 𝑥 : 𝑥 es blanca. 03
Si 𝑥 = pizarra , entonces 𝑃(pizarra): la pizarra es blanca.
R(𝑥) es una función proposicional
MATEMÁTICA

CUANTIFICADORES UNIVERSAL Y EXISTENCIAL

CUANTIFICADOR UNIVERSAL
Una cuantificación universal es una proposición de la forma: Para todo 𝑥, 𝑃(𝑥)

donde 𝑃(𝑥) es una función proposicional y se denota por : ∀ 𝑥: 𝑃(𝑥)

Se lee: Para todo 𝑥, tal que, se verifique 𝑃 𝑥 .

• El símbolo «∀» se denomina cuantificador universal

• El símbolo «∀» significa: «para todo» o « para cualquier »

Ejemplos:
• ∀𝑥 ∶ 𝑥 + 4 < 7 , se lee: Para todo 𝑥, tal que 𝑥 + 4 < 7 (Proposición con valor de verdad FALSO)
• Si 𝑀 es el conjunto de todos los hombres
«𝑇𝑜𝑑𝑜 ℎ𝑜𝑚𝑏𝑟𝑒 𝑒𝑠 𝑚𝑜𝑟𝑡𝑎𝑙» se puede escribir: ∀𝑥 ∈ 𝑀 ∶ 𝑥 es mortal
MATEMÁTICA

CUANTIFICADORES UNIVERSAL Y EXISTENCIAL

CUANTIFICADOR EXISTENCIAL
Una cuantificacion existencial es una proposición de la forma: Existe 𝑥, tal que, 𝑃(𝑥)

donde 𝑃(𝑥) es una función proposicional y se denota por : ∃𝑥 / 𝑃(𝑥)

Se lee: existe por lo menos un 𝑥, tal que, se verifique 𝑃 𝑥 .

• El símbolo «∃ » se denomina cuantificador existencial

• El símbolo «∃ » significa: «existe» o « para algún » o « para al menos un ».

Ejemplos: • Sea la función proposicional P 𝑥 : 𝑥 − 2 < 8

«𝐸𝑥𝑖𝑠𝑡𝑒 𝑥 , 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 − 2 < 8» se puede escribir: ∃𝑥 / 𝑥 − 2 < 8

(Proposición con valor de verdad VERDADERO)
• Para 𝐴 = {1; 3; 5}
«𝐸𝑥𝑖𝑠𝑡𝑒 𝑝𝑜𝑟 𝑙𝑜 𝑚𝑒𝑛𝑜𝑠 𝑢𝑛 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑥 ∈ 𝐴, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑝𝑎𝑟» se puede escribir:
∃𝑥 ∈ A ∶ 𝑥 es un número par. (Proposición con valor de verdad FALSO)
 MATEMÁTICA

EJEMPLO: «Todos los números reales son positivos» NEGACIÓN DE PROPOSICIONES QUE TIENEN
CUANTIFICADORES.
Se puede escribir:
Sea la proposición: ∀ 𝑥: 𝑃(𝑥)
«Cualquier número real es positivos»
Su negación será: ~ ∀ 𝑥: 𝑃(𝑥) ≡ ∃ 𝑥: ~ 𝑃(𝑥)
«Cualquier 𝑥 ∈ ℝ: 𝑥 es positivo»
« ∀ 𝑥 ∈ ℝ: 𝑥 es positivo»
Sea la proposición: ∃𝑥: 𝑃(𝑥)
Su negación será: ~ ∃𝑥: 𝑃(𝑥) ≡ ∀𝑥: ~ 𝑃(𝑥)
EJEMPLO: «Existen números reales positivos»
Se puede escribir:
EJEMPLO: «Para todo número natural 𝑥, 𝑥+1>7»
«Existe 𝑥 ∈ ℝ , tal que 𝑥 es positivo»
Simbolicamente: ∀ 𝑥 ∈ ℕ: 𝑥 + 1 > 7
«Para algún 𝑥 ∈ ℝ , 𝑥 es positivo»
La negación es: ~ ∀ 𝑥 ∈ ℕ: 𝑥 + 1 > 7
«∃𝑥 ∈ ℝ / 𝑥 es positivo»
≡ ∃𝑥 ∈ℕ /𝑥+1≯7
«Existe un x ∈ ℕ, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 + 1 ≯ 7»
 MATEMÁTICA

EJEMPLO: Sea la función proposicional

𝑃(𝑥): 𝑥 es un planeta habitable.

Negar la proposición:
«Existe por lo menos un planeta que es habitable»

Resolución:
«Existe por lo menos un planeta habitable»
∃ 𝑥 / 𝑥 es un planeta habitable

Simbolizando es: ∃ 𝑥 / 𝑃(𝑥)

Negando: ~ ∃𝑥: 𝑃(𝑥)

« No es verdad que existe 𝑥 tal que 𝑥 es un planeta habitable »
« No existe 𝑥 tal que 𝑥 es un planeta habitable »
« Para todo 𝑥 ; 𝑥 es un planeta no habitable »
« Todos los planetas son no habitables» ≡ ∀𝑥: ~ 𝑃(𝑥)
MATEMÁTICA

EJERCICIO

Negar las proposiciones:

1. ∃x | P x ˅ ~Q x
2. ∀x ∶ P x → Q x
3. ∀x ∃y | xy = 0
4. ∃y ∈ A ~𝑝 𝑦 ]˄ ∀𝑥 ∈ 𝐴: 𝑞 𝑥 ˅ 𝑟(𝑥)

5. Todos los números enteros son impares.

6. Todos los hombres son honestos o algún hombre es ladrón.

03
MATEMÁTICA

EJERCICIO

Dadas las proposiciones:

1. El cuadrado de todo número real es mayor que 2.

2. Existen enteros cuyo cubo aumentado en 1 es igual al cubo del
siguiente.
3. Todas las personas que estudian, triunfan.

Expresarlas simbólicamente, negar las expresiones obtenidas y

retraducirlas al lenguaje ordinario.

03