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

Aporte Individual del trabajo Grupal No. 1

Presentado por: Mara Eugenia Prez Sierra 37546999

Tutora: Marcela Daz Scarpetta

Director de curso Georffrey Acevedo Gonzlez

Bogot D.C., 8 de Abril de 2013

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

INTRODUCCIN

El propsito de este trabajo es dar a conocer los conocimientos adquiridos de la primera unidad del curso de lgica metamatemtica como la teora de conjuntos, lenguaje natural y artificial, proposiciones (tablas de Verdad), los conectivos lgicos, cuantificadores y proposiciones categricas. Mediante ejercicios ubicados en material del mdulo, en las lecciones y ayudas didcticas (OVA) suministrados por el tutor para el proceso de aprendizaje, el cual se adquiri con mucha comprensin de lectura e interpretacin de los temas vistos en esta unidad, tambin se requiri de mucha investigacin por internet como tutoriales y videos acerca de cada tema visto.

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. U= Poblacin Colombiana M= Mujeres 45% D=Poblacin desplazada 10% G= Poblacin Drogadicta 3% A= Poblacin Analfabeta 5% F= Poblacin Fumadora 15% P= Poblacin Pobre 20% N= Poblacin Desnutrida 15% O= Otras Caractersticas 32% Total Poblacin= 100%

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

Interseccin D M 10% x 45% = 4.5% G M 3% x 45% = 1.35% F M 15% x 45% = 6.75% P M 20% x 45% = 9% N M 15% x 45% = 6.75% O M 32% x 45% = 14.40% A M 5% x 45% = 2,25% Total de Mujeres= 45%

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

Son proposiciones lgicas:

No son proposiciones lgicas A: La UNAD ofrece diferentes programas educativos a distancia.

Mara Eugenia Prez Sierra

A: El curso de lgica es importante en el programa de Ingeniera de Sistemas. B: El ingeniero de sistemas si solo desarrolla aplicaciones para el manejo de la informacin. C: En el curso de Herramientas informticas se estudia el hardware y software de la mquina. D: Para obtener un ttulo profesional se requiere de mucho esfuerzo y dedicacin. E: Las bases de datos son importantes en las compaas.

B: Para obtener un ttulo profesional se requiere de mucho estudio. C: Los sistemas de informacin hacen parte desarrollo econmico de un pas.

D: La gran parte de poblacin colombiana tiene acceso a la educacin a distancia E: Los TIC son un factor importante en el estudio a distancia?

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 Ejemplo Si hay tolerancia, entonces hay paz Aprendemos matemticas cuando somos ordenados y constantes.

premisas p = hay tolerancia q = hay paz p= aprendemos matemticas q= somos ordenados r= somos constantes

Lenguaje simblico p q

p<>(q r)

Dos condiciones son necesarias y suficientes para tener una buena vida humana: Tener cario sincero y compaa inteligente.

p=tener buena una vida humana q= tener cario sincero r= tener compaa inteligente p= Patricia es ordenada p= vitamina A proviene q= carne r= huevos s= lcteos

p<>(q r)

Patricia es ordenada.

p atmica

La vitamina A proviene de carnes, huevos y lcteos.

p= (q r s)

Si consumes carne o lcteos, adquieres protena y vitamina A

p= Consumes carne q= Consumes pollo r= Adquiere protena s= Adquiere vitamina A (pvq) (r s)

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 q r pq V V V V V F V F V V F F F V V F V F F F V F F F V V F F V V V V

qr V F V V V F V V

p F F F F V V V V

(p->q) v (q->r) V V V V V V V V

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

Respuesta: Se obtuvo de la ecuacin como resultado una tabla CONTIGENTE por tener valores verdaderos y falsos que conforma esta proposicin compuesta. 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.

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

Pantallazo:

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

4.

A continuacin clasifica los siguientes enunciados como verdaderos, falso, proposicin atmica, proposicin molecular, no es proposicin (como V,F, PA,PM, NP,):

ENUNCIADOS Ejemplo Ejemplo Contraria Juan Manuel Santos es el presidente de Colombia 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

NP PA X X X X

PM V, F V F F X X X X X F F V V 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. R/: Reflexin individual: La lgica nace de la necesidad que tiene el ser humando para expresar su pensamiento y defenderlo de los dems, es la ciencia que estudia la manera o forma de expresin del pensamiento. Segn su evolucin por importantes filsofos y matemticos que dejaron importantes aportes: Tales de Mileto contribuy plantear explicaciones de la naturaleza, Scrates profundiza arte de discutir, Aristteles desarroll lgica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones, Gottfried Leibniz propuso representar el conocimiento en una forma que pudiera ser usado por un razonamiento mecnico (lgica simblica), el proceso de la lgica continuo George Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las operaciones lgicas con las matemticas, A Boole se le atribuye la invencin de las tablas de verdad en proposiciones compuestas y lgica formal moderna se le atribuye a Bertrand Russell y Alfred Whitehead quienes codificaron la lgica simblica. Todos estos aportes que dejaron estos filsofos y matemticos han sido muy importantes en el desarrollo del conocimiento y la aplicacin de estos en las diferentes reas a nivel educativo, social y econmico. La lgica se clasifica tradicional y simblica; la tradicional se encarga de interpretar y distinguir un pensamiento si es correcto no y la simblica se encarga de la forma del pensamiento y no de su contenido.

Docente diseador: Georffrey Acevedo G.

10

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

CONCLUSIONES

Con la realizacin de este trabajo se logra un conocimiento positivo en los temas vistos de la Unidad 1 del curso de lgica matemtica como: los principios de la lgica, teora de conjuntos, los conectivos lgicos, la construccin de tablas de verdad y cuantificadores a travs del material educativo, comprensin de lectura, interaccin con los compaeros de curso en el foro, investigacin, desarrollo de los ejercicios teniendo como nico resultado fortalecer lo aprendido en esta unidad.

Docente diseador: Georffrey Acevedo G.

11

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

REFERENCIAS

Acevedo, Gonzlez, Georffrey (2012). Lgica Matemtica. UNAD. Medellin. 2012

Ejercicio de conjuntos ejemplo y aplicacin http://www.youtube.com/watch?v=TF3231ujzzs&feature=player_embedded

Lawrence Turner. Truth Table Generator. Recuperado el da 07 de Abril de 2013, http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Videoconferencia lgica matemtica Noviembre 2008. http://www.youtube.com/watch?v=GCn8Benwy3g&feature=player_embedded

Docente diseador: Georffrey Acevedo G.

12