UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Gua de Actividades Trabajo colaborativo Fecha: Febrero del 2014 Nombre del curso:

lgica Matemtica Cdigo: 551105 Temticas: Generalidades sobre la teora de conjuntos, conjuntos numricos y operaciones, generalidades y profundizacin de la lgica matemtica Estrategia de aprendizaje: El Aprendizaje Basado en Tareas es un enfoque centrado en el uso de tareas como ncleo dentro del proceso de aprendizaje que facilita la apropiacin de un lenguaje, debido a esto esta estrategia se puede utilizar dentro de nuestros cursos de la licenciatura ya que esta ciencia tiene como herramienta importante el lenguaje tanto verbal como simblico. De otra parte en el libro competencias matemticas (D` Amore) afirma que las matemticas es el lenguaje de las ciencias, ya que toda consideracin sobre el lenguaje en el cual se expresa la Matemtica, en mbito didctico, implica reflexiones sobre el aprendizaje tanto de la Matemtica como de su lenguaje. Por lo anterior, dicha estrategia se ajusta a las necesidades del curso de lgica matemtica. De acuerdo con Numan considera las siguientes etapas: 1. Pre.-Tarea En este momento se hace introduccin al tema mediante un mapa mental o cualquier otra estrategia que permita reconocer las temticas para el desarrollo de su tarea: 2. Ciclo de la tarea. La tarea es la realizada de manera individual por los estudiantes que para nuestro caso deben solucionar los ejercicios y preguntas orientadoras, teniendo en cuenta los recursos, con nfasis en el producto a desarrollar, organizado y preciso. 3. Post.-Tarea Se entrega del producto realizado el cual se evala entre los integrantes, para construir un producto grupal como el resultado de los aportes de cada uno generando un aprendizaje nuevo centrado en la particin de todos los integrantes y el intercambio de ellos. Peso evaluativo: 500 puntos I. Intencionalidades formativas: Propsitos: A travs del curso de lgica matemtica como campo de formacin disciplinar se busca que el estudiante este en capacidad de verificar los grados de validez de razonamientos lgicos por intermedio de procesos deductivos apoyado en conectivos lgicos, reglas de inferencia y diferentes mtodos de demostracin como herramientas importantes dentro de su campo de formacin y futuro desempeo profesional. Competencias: Contextualiza los conceptos que permiten potenciar la capacidad analtica, lgica, interpretativa y creativa en la solucin de aplicaciones y problemas matemticos tendientes a la construccin y desarrollo del pensamiento lgico matemtico los cuales deben proporcionar la formacin profesional adecuada acorde con las necesidades del mundo laboral dentro del contexto real. Contextualiza trminos, predicados, razonamientos y demostraciones en la solucin de situaciones reales que contribuyen con el desarrollo del pensamientolgico matemtico vital dentro del campo de formacin

profesional y laboral. II. Descripcin de la actividad:

Temticas revisadas: Generalidades sobre la teora de conjuntos, conjuntos numricos y operaciones, generalidades y profundizacin de la lgica matemtica Estrategia de aprendizaje: Se espera que los estudiantes estn en capacidad se solucionar ejercicios, problemas y preguntas orientadoras desde los conocimientos desarrollados adems de resolver situaciones de su entorno. Mediante la estrategia de aprendizaje que se va utilizar es Aprendizaje Basado en Tareas que es un enfoque centrado en el uso de tareas como ncleo central en la planeacin de un proceso y aprendizaje desde el lenguaje ya que todo consideracin sobre el lenguaje en el cual se expresa la matemtica ,en mbito didctico sobre el aprendizaje tanto de la matemtica como de su lenguaje(D`Amore,200b) Actividades Previas: Realizar la lectura de cada uno de los referentes bibliogrficos, ver los videos de los diferentes materiales de la bibliografa recomendada para cada una de las Pre-tareas reconociendo cada una de las temticas propuestas dentro del syllabus. Pasos para el desarrollo del trabajo de reconocimiento del taller: 1. (Evaluacin inicial) Este se relaciona directamente con los referentes que se tienen dentro de los prerrequisitos, es decir generalidades sobre teora de conjuntos, conjuntos numricos y operaciones, generalidades y profundizacin de la lgica matemtica uno por cada temtica para lo cual se puede apoyar en la bibliografa recomendada, para ellos debe ayudarse del siguiente enlace: CMO SE HACE UN MAPA MENTAL Tomado de: http://www.mejoresideas.com/cursos-creativos.html CMO ELABORAR UN MAPA MENTAL? Los mapas mentales son organizadores grficos utilizados como recursos metodolgicos para organizar informacin y potencializar los sentidos que se estimulan a travs de las imgenes y colores. Estas son algunas instrucciones para su elaboracin: 1. El mapa debe estar formado por un mnimo de palabras. Es importante utilizar nicamente ideas clave e imgenes. 2. Se debe iniciar siempre desde el centro, colocando la idea central (Objetivo) y remarcndolo. 3. A partir de esa idea central puede generarse una lluvia de ideas que estn relacionadas con el tema. 4. Para darle ms importancia a unas ideas que a otras (priorizar), puede utilizarse el sentido de las manecillas del reloj. 5. Acto seguido se ubican las ideas secundarias alrededor de la idea central, evitando amontonarlas. 6. Es importante relacionar la idea central con los subtemas utilizando lneas que las unan. 7. La creatividad es vital en la elaboracin del mapa mental 8. Se realizan tres mapas mentales de acuerdo con lo establecido y propuesto para cada ciclo y bibliografas recomendadas. Esta evaluacin inicial tiene un valor de 25 puntos correspondientes al 5% del total para ser entregados en el periodo comprendido entre 11 de febrero y el 4 de marzo del 2014 en el espacio denominado Mapas mentales que se encuentra en el entorno aprendizaje prctico.

2. (evaluacin intermedia ) Dentro de esta etapa deben resolver los siguientes ejercicios propuestos en forma individual: 1. Sean los conjuntos A= {a, b, c, d} B= {c, d, e, f, g} C= {b, d, e, f} Determine: a) A UB b) A-B c) A' d) BUC e) AB 2. Establecer los siguientes conjuntos por extensin: a) A= {Nmeros naturales} b)= {x/x2-5x-6} 3. Establecer los siguientes conjuntos por comprensin a) B= {x/x es letra de la palabra excusa} b) C= {x/x2-9=0 o 2x-1=9 } 4. Representar los primeros nmeros naturales en la recta numrica: a) Los nmeros entre 2y 9 b) Los nmeros entre 1y7 5. Expresar como fraccin las siguientes cantidades: a) 0.24 b) 0.692 c) 6.45 d) 1.4 2. Responder con base en los referentes disponibles dentro de esta gua y otros materiales adicionales las siguientes preguntas orientadoras: 1. Considerando que dentro del campo de las matemticas una de las aplicaciones ms importantes es el concepto de conjuntos mencione algunos de los conjuntos de su entorno por comprensin y otros por extensin. 2. Es notable reconocer que los conjuntos son objetos matemticos muy sencillos y fciles de reconocer y comprender desde esta perspectiva, establezca un concepto de conjunto. 3. Contestar: Qu es un conjunto de nmeros naturales? Cuntos conjuntos de nmeros naturales hay? 4.Jos quiere comprar una vivienda amplia y rentable de no ms de $70 000 000.El vendedor de bienes races le ofrece 3 opciones: -Una aparta estudio de 8 metros de nacho por 6 de largo de contado. -Una casa de 1 piso de 40m2, con lindo jardn incluido de 4x2.Con una facilidad de pago de cuota inicial de $10 000 000y 12 cuotas de $450 000, con un 0.5 de inters mensuales sobre la cuota inicial. -un apartamento de 48m2 a 14 cuotas de 5 millones sin inters mensual. Cul es las tres opciones es la ms favorable? 5 .Para el siguiente ejercicio es necesario primero simbolizar las premisas con letras maysculas, as como la conclusin dada. 1. Demostrar que las conclusiones son consecuencia de las premisas que aparecen dentro del ejercicio. Dar una demostracin completa teniendo en cuenta las reglas de inferencia estudiadas. Gerencia El gerente de una empresa es el encargado de muchas de las labores ms importantes. Si es as, entonces ser gerente es un cargo difcil de manejar. La gente dice que, o los gerentes son personas de las que depende la empresa, o que slo se dedican a despedir y contratar trabajadores. Pero si ellos slo se dedican a contratar y despedir trabajadores, entonces ser gerente no es un cargo difcil de manejar. Adems, si la gerencia no es un cargo que slo quienes se han preparado para ello lo merecen, entonces sera falso que la gente diga que los

gerentes son personas de las que depende la empresa y que el gerente es el encargado de muchas de las labores ms importantes. Por lo tanto, la gerencia es un cargo que slo quienes se han preparado para ello lo merecen. 2. Supongamos que la deduccin se realiz desde las reglas de inferencia justificar cada proceso realizado: Esquema :(P^ Q) H Supongamos: P^ Q Hiptesis inicial _________________ _________________ _________________ H 3.En un interrogatorio por el robo de un examen, el profesor interroga a los tres estudiantes sospechosos, que le responden como sigue: Agapito: No Hilario no yo hemos visto. Bartolo: Agapito est mintiendo. Hilario: Agapito no es el ladrn. Suponiendo que solo hay un culpable y que los inocentes dicen la verdad. Se puede deducir cul de los estudiantes es el ladrn?

4. Demostrar: P P Q Q 5. Demostrar: P PVQ T Q T 6.Qu conclusin se puede deducir de cada uno de los conjuntos de las premisas siguientes utilizando Tollendo Tollens. Escribir en castellano las conclusiones de las expresiones dadas: 7. Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz ms brillante dara lugar a una emisin de electrones. La luz ms brillante no siempre emite electrones con mayor energa que los originados por luz ms tenue. 8Tiene la proposicin Q^ R distinto significado que la proposicin (Q ^ R).En caso afirmativo explicar la diferencia? 9Qu relacin hay entre el lenguaje natural y el formal? 1. Mara dice, Si este escrito es correcto, entonces 5x2=10.Se sabe que 5x2=10.Desde el punto de vista de la lgica, Qu se puede decir del valor de certeza de la afirmacin de Mara? 2. Revisar y establecer la conclusin para el siguiente caso: Premisa=Todas las ranas son anfibios Premisa=Todos los anfibios son vertebrados Conclusin= 3. Establecer cules de las siguientes proposiciones tienen predicados comunes:

a)Scrates es un hombre b) X es un nmero par. c) Chicago es una ciudad. 10. Demostrar por induccin matemtica: 2+4+6+8+2n=n(n+1) 11.Demostrar por mtodo indirecto: El cuadrado de un nmero impar es par 12.Contestar los siguientes interrogantes: a) Los argumentos deductivos son una forma de fundamento de teoras por tanto es posible afirmar que desde este punto de visto los criterios tericos son de vital importancia para llegar a una conclusin?Por qu? b) Los argumentos dentro del campo de la lgica matemtica permiten hacer un razonamiento? 13.Considerando que: = =

Negar los siguientes proposiciones y simbolizar las siguientes proposiciones: a)Existe un matemtico que no es logico. b)Todos los griegos son racionales. c)Algn estudiante es muy disciplinado Este trabajo se presenta en forma individual con una ponderancin de 350 puntos correspondientes al 70% para ser entregado en el espacio denominado Evaluacin intermedia que se encuentra en el entorno aprendizaje prctico, en el periodo comprendido entre 5 de marzo y el 3 de junio,con la siguiente estructura : El estudiante debe realizar un mapa mental con los referentes que se proporcionan y el enlace que est disponible, con esta tarea de realizar los ejercicios y resolver las preguntas orientadoras para construir su trabajo y ponerlo a consideracin de sus compaeros, este debe contener lo siguiente: Portada Mapa mental Solucin de ejercicios Solucin de preguntas Bibliografa con normas APA

3. ( Evaluacin final ) Con base en el debate y la participacin activa de todos los integrantes del grupo se realiza la construccin del trabajo colaborativo el cual debe contener los siguientes aspectos: Portada Mapa mental Solucin de cinco ejercicios inditos Solucin de 5 preguntas (hechas por los integrantes del grupo) Propuesta de 5 preguntas y 5 ejercicios sobre las temticas abordadas dentro del syllabus. Crear un portafolio en http://www.portfoliobox.net/es, donde se integre cada una de las fases trabajadas, como producto final del curso. Enviar el enlace al tutor. ( incluir el trabajo realizado en Word con los aspectos dados anteriormente) Bibliografa con normas APA.

Este trabajo se presenta en forma grupal con una ponderancin de 125 puntos correspondientes al 25% para ser entregado en el espacio denominado evaluacin final que se encuentra en el entorno evaluacin y seguimiento, en el periodo comprendida entre 4 de junio hasta el 18 de junio del 2014 III. Criterios de Contenido: Los estudiantes tanto individual como grupal deben tener en cuenta los siguientes criterios para la presentacin de los trabajos: 1.Coherencia y correlacin De acuerdo con las temticas establecidas dentro del curso y a la estrategia propuesta para cada uno de los pasos y resolver cada una de las tareas y post-tareas de acuerdo con las diferentes socializaciones realizados entre cada uno de los grupos. 2.Lenguaje normal y simblico En este aspecto es de vital importancia tener en cuenta la simbologa y el lenguaje matemtico ya que de acuerdo con lo expuesto por (Peat, 1990) La matemtica ha aislado y refinado varios de los elementos abstractos que son esenciales a todos los lenguajes humanos. Adems (Schwarzenberger, 2000) Mi propia actitud, que yo comparto con muchos de mis colegas, no es ms que las matemticas es un idioma. 3.Plagio: Poltica de seguridad de la informacin de la Plataforma Tecnolgica Integrada
ARTCULO PRIMERO:

Establecer la regulacin de la poltica de seguridad de la informacin de la Universidad Nacional Abierta y a Distancia UNAD, para la plataforma tecnolgica integrada. ARTCULO SEGUNDO: Para acceder al campus virtual de la UNAD, los usuarios debern hacerlo a travs de su plena identificacin y utilizando la contrasea correspondiente. Las cuentas de los usuarios cumplirn con los siguientes aspectos: 1. La cuenta de usuario de campus est formada por el nombre del usuario y contrasea, es privada e intransferible, por lo cual no debe prestar la clave bajo ninguna circunstancia, el uso que se d a la misma es responsabilidad del usuario.

2. El proceso de autenticacin debe ser de mximo cinco intentos para una autenticacin satisfactoria, despus de ste nmero de intentos se deshabilita el acceso al usuario desde el navegador que tiene activo temporalmente. 3. Cuando un usuario conozca de actividades que no se apeguen a las polticas y normas de la UNAD, deber dar aviso por medio del Sistema de Atencin al Usuario SAU. 4. No est permitido el uso de seudnimos y envo de mensajes annimos, as como aquellos que consignen ttulos, cargos o funciones no oficiales, adems que atenten contra la dignidad humana y las garantas fundamentales. 5. Antes de subir cualquier archivo a la plataforma, se recomienda a los usuarios verificar la informacin por medio del antivirus del equipo de cmputo, para validar que no se encuentre afectado por software malicioso.

ARTCULO TERCERO: Est prohibido a los usuarios de la plataforma tecnolgica las siguientes actividades: Violaciones de los derechos de cualquier persona o institucin protegidos por derechos de autor, patentes o cualquier forma de propiedad intelectual. Copia no autorizada de material protegido por derechos de autor que incluye, pero no est limitado a, digitalizacin y distribucin de imgenes o fotografas de cualquier origen, digitalizacin y distribucin de msica, audio o video, distribucin o instalacin de software sin licencia ni autorizacin de la Universidad. Introduccin de software malicioso de forma intencionada en el campus o en los servidores. (virus, worms, troyanos, etc). Revelar la clave o contrasea de su cuenta de usuario a otros, o permitir su uso a terceros. Utilizar la plataforma para conseguir o transmitir material con nimo de lucro. Igualmente est prohibida su utilizacin para hacer algn tipo de acoso, difamacin, calumnia o cualquier forma de actividad hostil en contra de miembros de la comunidad universitaria y en general de cualquier persona o institucin. Burlar los mecanismos de seguridad, autenticacin, autorizacin o de auditora, de la aplicacin, servidor o cuenta de usuario. ARTCULO CUARTO: El campus virtual, por ser una aplicacin de la UNAD, deber cumplir con los lineamientos establecidos en el INSTRUCTIVO DE SEGURIDAD EN LA ADQUISICIN, DESARROLLO Y ADMINISTRACIN DE APLICACIONES - I-AI-GIDT-002-002.

ARTCULO QUINTO: Las polticas del firewall, debern permitir el acceso tanto de los usuarios como de los administradores de acuerdo al perfil o permisos que tienen asignados. Cualquier cambio en las polticas deber ser realizado por medio del formato de RFC previamente diligenciado por la persona autorizada para solicitar dichos cambios.

ARTCULO SEXTO: La contrasea de los administradores del campus debe cambiarse en periodos mximos de seis meses. ARTCULO SEPTIMO: Cada vez que se realice la entrega de un usuario de administrador, se deber realizar por medio de un acta formal de entrega y aceptacin firmada por las partes involucradas. ARTCULO OCTAVO: Los servidores donde se encuentran alojados los campus, deben contar con un sistema antivirus, que permita verificar que los archivos subidos no se encuentren infectados o contengan cdigo malicioso. ARTCULO NOVENO: Tanto los usuarios, como los administradores del campus virtual, debern cumplir con las polticas de seguridad y lineamientos establecidos por la UNAD. ARTCULO DCIMO: Cualquier miembro de la comunidad universitaria que sea encontrado contraviniendo la poltica aqu definida, deber ser investigado y podr ser objeto de sanciones administrativas, sin perjuicio de las acciones disciplinarias, penales o fiscales que puedan ser adelantadas por los organismos de control del Estado.

IV. Productos a entregar: Se deben hacer tres entregas individuales y tres grupales de acuerdo con lo establecido dentro de la agenda del curso con una ponderacin de: Evaluacin inicial: 25 puntos desde el 11de febrero hasta el 4 de marzo Evaluacin intermedia: 350 puntos desde el 5 de marzo hasta el 3 de junio Evaluacin final: 125 puntos desde el 4 de junio hasta el 18 de junio

V. Bibliografa recomendada: Generalidades sobre teora de conjuntos Ejercicios de Lgica matemtica y fundamentos (201213) disponible en: http://www.cs.us.es/~jalonso/cursos/lmf/temas/ejercicios-LMF-2012-13.pdf Diagrama de carrol ejercicio resuelto de teora de conjuntos disponible en: http://www.youtube.com/watch?v=YDpdGAqF33g Teora de conjuntos y temas afines disponible en:

http://pperalta.files.wordpress.com/2009/08/teoria-deConjuntos numricos y operaciones. Conjuntos numricos disponible en:

conjuntos-y-temas-afines-symour-lipschutz.pdf

http://www4.ujaen.es/~jquesada/Descargas/Analisis/operaciones_elementales.pdf Conjuntos numricos 2: cardinales y entero disponible en: http://www.youtube.com/watch?v=J-qRF2mTwTQ Nivelatorio de matemticas bsicas disponible en: http://davidbuiles.files.wordpress.com/2011/01/conjuntos-numc3a9ricos.pdf Proposiciones simples, elementos de enlace y proposiciones compuestas Conectivos lgicos disponible en: http://profesorjosebarros.weebly.com/uploads/6/3/9/0/6390906/conectivos_lgicos.pdf Proposiciones y Conectivos Lgicos. Disponible en: https://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r44828.PDF Proposiciones Lgicas. Disponible en. http://www.youtube.com/watch?v=4rZ2VY8rOww Proposicin lgica simple o atmica. Disponible en: http://www.youtube.com/watch?v=YepOET8EkBc Lgica de proposiciones http://www.youtube.com/watch?v=5GCvF63BSrg Simbolizacin de proposiciones, trminos de enlace, tablas de verdad y operaciones Elementos de lgica proposicional http://docencia.udea.edu.co/cen/logica/cap2.htm

Simbolizacin de Proposiciones Lgicas http://profe-alexz.blogspot.com/2012/08/Simbolizacion-Proposiciones-Logicas-Ejemplos-Resueltos.html Lgica de proposiciones

http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/filosofia/intro_logica/1_parte.pdf Simbolizacin de proposiciones. http://logicaunad.files.wordpress.com/2012/02/simbolizacic3b3n-de-proposiciones.pdf Introduccin a la lgica matemtica y teora de conjuntos http://www.luiszegarra.cl/moodle/pluginfile.php/128/mod_resource/content/1/cap1.pdf Reglas de inferencia, deduccin proposicional y sus aplicaciones Inferencia deductiva o deduccin http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-y-afines/matematicas-discretasi/material/md1_04.pdf Reglas de inferencia http://sosa.solucionesdeingenio.com/wp-content/uploads/2011/09/REGLAS-DE-INFERENCIA.pdf Leyes de la lgica y reglas de inferencia http://www.tec-digital.itcr.ac.cr/file/2754007/Pr%C3%A1cticaDeL%C3%B3gicaIsemestre2012.pdf Deduccin natural http://di002.edv.uniovi.es/~labra/Logica/apuntes/nd.pdf Lgica proposicional http://montsepedroche.files.wordpress.com/2010/11/logica.pdf Deduccin proposicional http://www.youtube.com/watch?v=qKSzTktENrU Universidad de Murcia ( ) Mtodos de demostracin en matemticas Disponible http://www.um.es/docencia/jsimon/depmat/2012-2013/CyN/Linero-DemostracionMatematicas(jsimon).pdf en:

Morales, C, (2008) Los mtodos de demostracin en matemtica. Universidad San Carlos .Guatemala. Disponible en: http://biblioteca.usac.edu.gt/tesis/07/07_1914.pdf Sosa, G( ) Mtodos de demostracin. Departamento de matemticas y estadstica. Universidad Popular del Cesar. Fortuny, J, Martin, J y Murillo, J ( ).El aprendizaje colaborativo y la demostracin matemtica. Disponible en:

http://www.uv.es/aprengeom/archivos2/MartinMurilloF02.pdf Principios y estndares para la educacin matemtica ( ) Razonamiento y demostracin paginas 59-63. Disponible en: http://phobos.xtec.cat/creamat/joomla/file/2_razonamiento_y_demostracion.pdf

Apuntes de matemtica (

) Cuantificadores y mtodos de demostracin. Disponible en:

http://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r44931.PDF Departamento de humanidades ( ) validez y deduccin lgica. Disponible en: http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/Legris/curso_de_logica/CURSOLOGI CA-03.pdf