MAT 070: I

Apuntes

MAT 070: Introducci ´ on al C ´ alculo Clase 5 Coordinaci ´ on MAT 070 Departamento de Matemática UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA Contenidos 1 Funciones proposicionales 2 Cuantificadores Negaci´ on de Cuantificadores 3 Ejercicios Departamento de Matemática UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA Funciones proposicionales Departamento de Matemática UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA Motivaci´ on La idea de la clase de hoy es ampliar las posibilidades de generar proposicio- nes, ya sea verificando si un elemento satisface una determinada condici´ on o bien cuantificando el n´ umero de elementos que satisfacen dicha propiedad. Departamento de Matemática UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA Definici´ on Una funci´ on proposicional ´ o predicado es una aseveraci´ on o expre- si´ on que contiene una o m´ as variables, tal que al reemplazar la(s) variable(s) por elementos espec´ ıficos pertenecientes a U , se obtiene una proposici´ on. Departamento de Matemática UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA Definici´ on Una funci´ on proposicional ´ o predicado es una aseveraci´ on o expre- si´ on que contiene una o m´ as variables, tal que al reemplazar la(s) variable(s) p...