Álgebra Superior I Cuantificadores

Álgebra Superior I
Unidad 1: LÓGICA, MÉTODOS DE DEMOSTRACIÓN Y CONJUNTOS.
Objetivo:
El alumno conocerá y usará los aspectos básicos de la lógica matemática y los métodos de
demostración más utilizados en matemáticas. Deducir y utilizar las propiedades básicas de
los conjuntos y de sus operaciones.
Objetivo de la sesión: Comprenderá el concepto de función proposicional y conocerá los cuantificadores
universal y existencial para formar proposiciones compuestas.
Nombres:
Sesión 6, 20 de enero de 2012
Cuantificadores
Definición: Una función proposicional es una expresión que contiene una o más de una variable
que al ser sustituidas por elementos del universo dan origen a una proposición. Se representa por
. Nota: una función proposicional -sin un valor- no es una proposición.
Se utilizan los símbolos cuantificador universal,
proposiciones compuestas:
y cuantificador existencial,

Es decir,
es verdad, si y sólo si,
toda x en X se cumple p(x)”.
y
para formar las
 

es verdad para todo valor
. Se lee “para

es verdad para algún valor
O equivalentemente,
es verdad, si y sólo si,
Se lee “existe x en X tal que p(x)”.
.
1.- Determine el valor de verdad de las siguientes proposiciones:
a)
b)
es múltiplo de 3
c)
d)
es par)
2.- ¿Puede determinar la negación de
? Explique.
3.- ¿Puede determinar la negación de
? Explique.
4.- Encuentre la negación de
Ts6: Verifique que la proposición [

]

es una tautología.
"Quien cambia felicidad por dinero no podrá cambiar dinero por felicidad."
José Narosky (1930- ); escritor argentino
Elaboró:
Profesor:
Oficina:
Jorge Carlos Lugo Jiménez
EA02
Correo:
Teléfono
[email protected]
942.31.40 ext 1112