Semana 3 - Sesion 1

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

Semana 3 - Sesion 1

Cargado por

Copyright:

Formatos disponibles

Semana 3 - Sesion 1

Cargado por

Información del documento

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

Semana 3 - Sesion 1

Cargado por

Copyright:

Formatos disponibles

BIENVENIDO AL CURSO

En muchos contextos, especialmente en los

Tema 2 Introducción al razonamiento

Al Finalizar la sesión, el estudiante:

Representa los operadores lógicos y

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

CUANTIFICADORES UNIVERSAL Y EXISTENCIAL

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

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

CUANTIFICADORES UNIVERSAL Y EXISTENCIAL

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

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

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

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

EJEMPLO: Sea la función proposicional

Simbolizando es: ∃ 𝑥 / 𝑃(𝑥)

Negando: ~ ∃𝑥: 𝑃(𝑥)

Negar las proposiciones:

5. Todos los números enteros son impares.

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

Dadas las proposiciones:

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

Expresarlas simbólicamente, negar las expresiones obtenidas y

También podría gustarte