UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD CURSO DE LOGICA MATEMATICA PRIMER SEM 2012 TUTOR MSC. MANUEL CIFUENTES Teniendo en cuenta que el cuantificador universal ∀ se utiliza para expresar generalidades de carácter universal, y que ( ∀ x) / x…. Se lee, para todo x se verifica que x… y el cuantificador existencial ∃ se utiliza igualmente para expresar proposiciones abiertas de carácter particular, y que (∃ x ) /x…. se lee, existe al menos un x tal que x…… : 1. Elabore dos proposiciones abiertas verdaderas utilizando el cuantificador universal 2. Elabore dos proposiciones abiertas verdaderas utilizando el cuantificador existencial 3. Exprese cada una de las anteriores proposiciones en lenguaje natural. Nota. Si desea, puede hacer uso del símbolo pertenece Є { …. } para delimitar el conjunto al cual hace referencia y darle limites a los valores de x. Si es necesario revise el modulo para observar sus ejemplos, pag. 86-88. 4. De los siguientes enunciados cuales son proposiciones abiertas, cuales proposiciones cerradas y cuáles no son proposiciones. a. México está en América b. 1 < 2 c. Hoy es lunes d. x+3=5 e. Ecosistemas f. Buenos días g. El 3 de abril de 1970 fué domingo h. Los cocodrilos pueden volar i. Las matemáticas son agradables j. Esta expresión es falsa
5. Dentro de los números Naturales, proposiciones abiertas: a. {x|x2-5x+6=0} b. {x |x2-6=19} c. {x | 3x2+1=49}
son
Cual es el dominio para las siguientes
6. Para cada proposición señale la ecuación lógica que la representa, clasifique cada una como universal afirmativa y negativa, particular afirmativa y negativa. a. Los vendedores de seguros no son matemáticos. b. Algunas personas interesantes no son profesores