Á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 jlugo@uady.mx 942.31.40 ext 1112