Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 1/16
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
LGICA MATEMTICA
Trabajo grupal de calificacin individual No.1
Presenta JORGE ENRIQUE ALVARADO JENNIFER VIRGINIA QUINTERO JOSE NEIR SERRATO JOSE LEONARDO DAZA
Tutor
ALFREDO GAMEZ
Director de curso Georffrey Acevedo Gonzlez
Tunja Boyac Octubre de 2012
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 2/16
Introduccin
La lgica matemtica consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. En esta actividad presentaremos una solucin individual completa y oportuna de la misma. Tendremos en cuenta las participaciones significativas, continuas y oportunas debatiendo las propuestas frente a las propuestas de los compaeros. Aremos la entrega de un producto final consolidado en la plantilla diseada con este fin. Toda metodologa basada en la teora del aprendizaje significativo, facilita a que nosotros como alumnos en el aprendizaje tengamos una mejor y calidad sobre unas bases fundamentales para un buen proceso pedaggico donde se obtiene el fortalecimiento lgico matemtico Cuando se aplica una unidad didctica basada en la Teora del Aprendizaje significativo donde se fortalecen mejores relaciones con el mundo externo.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 3/16
Fase 1. Saberes previos para la unidad: Teora de conjuntos La lectura comprensiva de textos sean stos de carcter expositivo, informativo o argumentativo, implican una actividad en la cual vamos identificando caractersticas comunes que terminan constituyendo clases o agrupaciones entre las cuales establecemos toda clase relaciones de inclusin, exclusin, interseccin y conjuncin que solemos representar grficamente mediante mapas mentales o conceptuales. A continuacin te proponemos un aparte del Proyecto Acadmico Pedaggico Solidario de la Universidad en el cual se plantean varias relaciones entre los conceptos de Valores sociales, contexto social, ncleo temtico, reas de formacin, ncleos problmicos, disciplinas del conocimiento, reas temticas, necesidades del medio, entre otras. El ejercicio consiste en que usando diagramas de Venn representes la lgica relacional propuesta en el texto estableciendo toda clase relaciones de inclusin, exclusin, interseccin y conjuncin entre estos conceptos y entre otros que a bien consideren pertinentes para representar dicha lgica relacional: Los diseos curriculares por ncleos problmicos, en su inters por dar respuestas y producir conocimiento pertinente, expresan un conjunto de valores sociales tales corno la solidaridad, la responsabilidad, el compromiso ciudadano, la verdad y el desarrollo sostenible. Para cumplir con este cometido, los expertos disciplinares, en relacin permanente con el sector productivo y conocedores de las demandas y oportunidades del medio, son los llamados a formular los ncleos problmicos. El ncleo problmico es un problema, una necesidad, una oportunidad o un vaco en el conocimiento que aglutina diferentes disciplinas, que constituyen el ncleo temtico que como unidad integradora de conocimientos posibilita la mirada simultnea y sucesiva de distintos saberes sobre un mismo problema, los cuales estn integrados en las diferentes reas temticas y stas en las diferentes reas de formacin bsica. Es decir, los ncleos temticos responden a los ncleos problmicos, en donde se agrupan e integran elementos afines a situaciones comunes para explicar las causas crticas de los problemas con el aporte conceptual, metodolgico y tcnico de las diferentes disciplinas del saber.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 4/16 As, el ncleo problmico como unidad integradora de conocimientos posibilita la mirada simultnea y sucesiva de distintos saberes sobre un mismo problema. Por su parte, el equipo de tutores que elaboran y desarrollan el currculo, los aprendices e incluso los expertos prcticos en dilogo permanente y con el apoyo de contenidos y guas didcticas, estructura la inteligibilidad del ncleo y formula respuestas acordes con su naturaleza. PAPS(2012) 1.1. A continuacin se plantean varias expresiones en lenguaje natural, de acuerdo con las cuales debes ubicar en el diagrama de Venn los nombres de los estudiantes involucrados en stas: Juan matricul tanto lgebra como Lgica pero no Ingls, Diego slo matricul lgebra, Ana matricul los tres cursos, Patricia no matricul ni lgebra, ni lgica ni ingls. Camilo matricul ingls pero no Algebra ni Lgica, Oscar slo matricul Lgica, Cesar matricul lgebra e Ingls pero no Lgica.
Estudiantes Estudiantes Que matriculan Algebra Estudiantes Que matriculan Lgica Estudiantes Que matriculan Ingls A L I JUAN ANA PATRICIA CAMILO OSCAR CESAR
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 5/16 1.2. A partir del diagrama anterior, y usando las letras A, L e I para denotar los conjuntos, haga uso de la representacin simblica de las operaciones entre conjuntos, para representar cada una de las siguientes expresiones: 1. Juan matricul tanto lgebra como Lgica pero no Ingls :
2. Estudiantes que slo matricularon lgebra :
Estudiantes Que matriculan Algebra Estudiantes Que matriculan Lgica Estudiantes Que matriculan Ingls A L I JUAN
PATRICIA
Estudiantes Que matriculan Algebra Estudiantes Que matriculan Lgica Estudiantes Que matriculan Ingls A L I JUAN ANA PATRICIA CAMILO OSCAR CESAR Estudiantes Estudiantes
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 6/16
3. Estudiantes que matricularon los tres cursos:
4. Estudiantes que no matricularon ni lgebra, ni lgica ni ingls:
Estudiantes Que matriculan Algebra Estudiantes Que matriculan Lgica Estudiantes Que matriculan Ingls A L
ANA PATRICIA
Estudiantes Estudiantes Que matriculan Algebra Estudiantes Que matriculan Lgica A L
I I Estudiantes Que matriculan Ingls PATRICIA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 7/16 5. Estudiantes que matricularon ingls pero no lgebra ni Lgica:
6. Estudiantes que matricularon Lgica:
Estudiantes Que matriculan Algebra Estudiantes Que matriculan Lgica A L
Estudiantes Que matriculan Ingls I CAMILO Estudiantes Que matriculan Algebra A L Estudiantes Que matriculan Lgica Estudiantes Que matriculan Ingls I OSCAR
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 8/16 7. Estudiantes que matricularon Lgica y lgebra:
Fase 2. Principios de lgica 2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lgicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de las propuestas por cada participante:
Estudiantes Que matriculan Algebra Estudiantes Que matriculan Ingls Estudiantes Que matriculan Lgica A L I JUAN
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 9/16 Nombre del estudiante Son proposiciones lgicas: No son proposiciones lgicas
JORGE ENRIQUE ALVARADO MORA Los conjuntos se pueden representar mediante Diagarmas de Vennt. 2+2 es igual a 8. Algunos estudiantes de administracin matricularon el curso de matemtica. El numero dos es una vocal. Todos los estudiantes de administracin matricularon competencias La lgica no es lgica. El azufre es de color amarillo. El numero dos es una vocal. Los mamferos son vertebrados. Se debe despejar la tabla de la verdad.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 10/16 2.2. A continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico:
Expresin premisas Lenguaje simblico Ejemplo Si hay tolerancia, entonces hay paz p = hay tolerancia q = hay paz p q Para aprender matemticas es necesario ser ordenado y constante. p= aprender matemticas. q= ser ordenador = ser constante. q^rp Dos condiciones son necesarias y suficientes para que tus hijos tengan una buena vida humana: ensales a controlar sus impulsos y a desarmar su corazn. p= condiciones necesarias. q= condiciones suficientes. r= ensena a controlar impulsos. s=ensea a desarmar su corazn. (p^q)(r^s) Ana tiene amor por la tarea. p= Ana tiene perseverancia. q= Ana tiene orden. r= Ana tiene amor. p^q^r
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 11/16 2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposicin compuesta para cada valor posible de las proposiciones simples que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de la siguiente proposicin lgica, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:
A continuacin debes verificar el resultado obtenido, para hacerlo debes pegar en este espacio el pantallazo obtenido al usar el siguiente simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Visita el material de apoyo para la primera unidad, en l encontrars un video para aprender a usarlo.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 12/16
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 13/16 2.4. A continuacin clasifica los siguientes enunciados como verdaderos, falso, proposicin atmica, proposicin molecular, no es proposicin (como V,F, PA,PM, NP,):
ENUNCIADOS NP PA PM V, F Ejemplo Contraria x Ejemplo Juan Manuel Santos es el presidente de Colombia x V Aristteles es el padre de la lgica F Una proposicin puede ser simple o atmica X Botero es pintor y Gabriel Garca Mrquez es escultor F Tales de Mileto es presocrtico o Scrates es agricultor F Si los humanos son seres racionales, entonces no es cierto que los humanos podamos construir una tica para vivir bien X V Hay paz en Colombia si y slo si los Colombianos nos escuchamos mutuamente X V Lo que ms debe desear un ser humano en su vida es el afecto y el cario sinceros que slo pueden brindar seres humanos libres X
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 14/16
Fase 3. Reflexin grupal Finalmente, en esta fase, el equipo propondr una reflexin en una pgina sobre la evolucin histrica de la lgica, el equipo no debe hacer un recuento histrico con fechas, el propsito es plantear una reflexionar sobre la evolucin del pensamiento, descubriendo qu necesidades humanas han conducido al desarrollo de la lgica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia la forma del razonamiento. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la vida. Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su labor permaneci desconocida y aislada. Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 15/16
Conclusiones
La lgica matemtica nos ayuda a desarrollar los procesos de pensamiento encontrando sentido a lo que normalmente realizamos. Muchas veces utilizamos en nuestros razonamientos oraciones y frases que suelen estudiarse en esta materia. Las inferencia lgicas tambin cotidianas y las hacemos sin darnos cuenta.
La utilizacin de la lgica tiene sus ventajas y desventajas, y por lo tanto hay que conocerlas y analizarlas.
La lgica ofrece mtodos que ensean cmo elaborar proposiciones, evaluar su valor de verdad y determinar si las conclusiones se han deducido correctamente a partir de proposiciones supuestas.
La proposicin es el elemento esencial de la lgica para la matemtica.
Un argumento lgico es un razonamiento que parte de una serie de enunciados llamados premisas se puede llegar a un resultado llamado conclusin.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 16/16