ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6.

. Trabajo Colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA LGICA MATEMTICA

TRABAJO GRUPAL DE CALIFICACIN INDIVIDUAL NO.1

PRESENTA LADY JHOJANA UNIGARRO ARTEAGA CDIGO: 69055650 TUTOR MIGUEL MONTES MONTAO DIRECTOR DE CURSO GEORFFREY ACEVEDO GONZLEZ

PASTO, NARIO 2013 INTRODUCCIN

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

Con el presente trabajo se pondr en prctica y demostracin los conocimientos adquiridos con el estudio y reconocimiento de la unidad 1 del curso de lgica matemtica y las investigaciones hechas con respecto a este trabajo, como son la teora de conjuntos, su representacin grfica por medio de diagramas de Venn y la solucin de problemas con los mismos, demostrar nuestro aprendizaje, solucionando cada uno de los puntos que comprenden la actividad, conocer el concepto de lgica, clasificacin, campos de aplicacin, historia y elementos que la componen, adems se pretende en conjunto realizar el consolidado final de la actividad. Podremos interactuar con los dems compaeros del grupo colaborativo para as llevar a cabo esta actividad, haciendo un anlisis en la aplicacin de la lgica matemtica para determinadas situaciones que se plantean en el trabajo a presentar. La finalidad es comprobar, fortalecer y crear ms agilidad mediante el compromiso real y pedaggico de los diferentes temas que plasma las unidades del curso de Lgica matemtica.

DESARROLLO DE LAS ACTIVIDADES

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

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 relaciones de inclusin, exclusin, interseccin y conjuncin que solemos representar grficamente mediante mapas mentales o conceptuales. El ejercicio consiste en que usando diagramas de Venn representes la lgica relacional propuesta en el ejercicio, estableciendo toda clase de relaciones de inclusin, exclusin, interseccin y conjuncin entre estos conceptos y entre otros que a bien consideren pertinentes para representar dicha lgica relacional: El ejercicio: Haciendo uso de los diagramas de Venn, en el conjunto universal Poblacin Colombiana, el equipo har como producto de una pequea investigacin, una representacin de algunos problemas sociales en Colombia, para ello, deber representar como mnimo los conjuntos de: Mujeres, Poblacin desplazada, Drogadictos, Analfabetas, Fumadores, Pobreza y Desnutricin. En lugar de sombrear reas, el equipo deber llenar los espacios en el diagrama con las diferentes poblaciones representadas en porcentajes del total de la poblacin. Recuerde citar las referencias utilizadas.

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

FASE 2. PRINCIPIOS DE LGICA 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: Nombre del estudiante LADY ARTEAGA Son proposiciones lgicas: Estudio Ingeniera de UNIGARRO Alimentos en la UNAD Se puede calcular los coeficientes locales y especficos de transferencia de masa. La seguridad alimentaria permite que la persona tenga acceso a los alimentos. Los entes gubernamentales deben proporcionar el derecho a la seguridad alimentaria y nutricional. El Ingeniero de alimentos se ocupa del diseo y montaje de plantas industriales de alimentos. No son proposiciones lgicas Estudiar cualquier carrera El viernes se cierra el Quiz

Son solo alimentos

Lo principal es no hacer nada.

Solo importa vender.

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 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 pq^r

Aprendemos matemticas p = aprendemos cuando somos ordenados matemticas y constantes. q = cuando somos ordenados r = cuando somos constantes Dos condiciones son p = cario sincero necesarias y suficientes q = compaa para tener una buena vida inteligente humana: Tener cario r = buena vida sincero y compaa inteligente. Patricia es ordenada. p = patricia q = ordenada La vitamina A proviene de p = vitamina A carnes, huevos y lcteos. q = carne r = huevos s= lcteos Si consumes carne o p = vitamina A lcteos, adquieres q = carne protena y vitamina A r = protenas s = lcteos

(pq)r

pq (qrs)p

(qvs)(pr)

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 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:

p V V V V F F F F

q V V F F V V F F

r pq V V F V V F F F V V F V V V F V

qr V F V V V F V V

p F F F F V V V V

(pq)v(qr) V V V V V V V V

[(pq)v(qr)] (p) F F F F V V V V

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

Es una proposicin que no es necesariamente verdadera ni necesariamente falsa, por lo tanto se trata de una CONTINGENCIA. 4. A continuacin clasifica los siguientes enunciados como verdaderos, falso, proposicin atmica, proposicin molecular, no es proposicin (como V, F, PA, PM, NP,): ENUNCIADOS N PA PM V, F P Boole invent el Silogismo Una proposicin compuesta siempre es verdadera Botero es pintor o Gabriel Garca Mrquez es escultor Tales de Mileto es presocrtico y Scrates es agricultor Si los humanos somos seres racionales, entonces podemos construir una tica para vivir bien Hay paz en Colombia si y slo si los Colombianos nos escuchamos mutuamente El dinero sirve para comprar el afecto y el cario sinceros X X X X X X X F F F F V F F

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

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 historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia. La necesidad de solucionar cada uno de los problemas que a travs, de la historia ha conducido al hombre al desarrollo de las habilidades de su pensamiento, siendo crtico llegar a razonar lgicamente conclusiones axiomticas. Adquiriendo una cultura de pensamiento. La lgica est directamente relacionada con el nacimiento intelectual del ser humano; en tiempos remotos la lgica matemtica naci desde el mismo momento que naci la intelectualidad del ser humano, la necesidad de comprender como la

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

naturaleza acta el porqu de las cosas; su desarrollo est ntimamente ligado al de la matemtica, podemos distinguir las tres etapas ms importantes la lgica que son: la antigua o clsica, la escolstica o medieval y la moderna. Conceptualmente podemos definir la lgica como el estudio de los mtodos y los principios utilizados para distinguir el razonamiento incorrecto, del correcto. El razonamiento es un proceso mental por medio del cual se llega a conclusiones partiendo de determinados conocimientos precisos. Un razonamiento es vlido cuando la conclusin a la que se llega se deriva de las afirmaciones previas. La lgica pues es la ciencia que estudia la estructura del pensamiento. Con la lgica se examina la validez de los argumentos en trminos de su estructura, (estructura lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lgica es una ciencia formal. La lgica formal es la parte de la lgica que, a diferencia de la lgica informal, se dedica al estudio de la inferencia mediante la construccin de lenguajes formales, sistemas deductivos y semnticas formales. La idea es que estas construcciones capturen las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de anlisis matemtico, permiten realizar demostraciones rigurosas sobre ellas. La lgica formal no debe ser confundida con la lgica matemtica, antes llamada lgica simblica, que es una sub disciplina de la lgica formal. Lgica es por consiguiente la parte de la filosofa que trata de las formas del pensamiento y de las leyes por las que se rige para llegar a la verdad. Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teora. Etimolgicamente la palabra lgica deriva del trmino griego lgicos derivados de logos razn. CONCLUSIONES Con el desarrollo de este trabajo logramos un mejor conocimiento sobre la primera unidad de lgica matemtica, aplicamos el desarrollo en tres fases las operaciones de conjuntos, el planteamiento de proposiciones lgicas llevadas a un lenguaje simblico por medio de los conectivos lgicos para luego aplicarlos en una tabla de verdad y finalmente hacer una reflexin sobre la historia de la lgica que nos permite como estudiantes adquirir ms habilidad, confianza e iniciativa para inferir posibles soluciones y por supuesto aclarando dudas o vacos que surgen mediante la lectura.

REFERENCIAS

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 6. Trabajo Colaborativo 2

Acebedo Gonzales G (2012). Lgica matemtica. UNAD Medelln, Colombia http://www.sevenoticias.com http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica http://www.slideshare.net/educomunicacion/como-realizar-una-tabladeverdad http://centros5.pntic.mec.es/ies.victoria.kent/Rincon-C/Alumnos/al-18/al18.htm http://www.varona.rimed.cu/revista_varona/index.php? option=com_content&task=view&id=284&Itemid=33

Docente diseador: Georffrey Acevedo G.