You are on page 1of 12

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

Presenta Erika Yardari Castro Mahecha - 40450395

Sandra Liliana Ramirez - 52748588

Jess Enrique Calderon -91353124

tutor Luis Ernesto Bonilla

Director de curso Georffrey Acevedo Gonzlez

Bogot 22 de Abril 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

Este trabajo se hace con el fin de entender los conceptos de preposiciones atmicas y moleculares donde podemos saber los conectores de disyuncin y conjuncin, condicional, bicondicional para realizar tablas de verdad, como tambin entender el por qu la lgica matemtica es importante en todas las reas o ciencias.

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

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 Es ms interesante lgica que ingls.

Sandra Liliana Ramrez

Las personas que estudian a larga distancia es porque estudian. Estudiar a larga distancia requiere ms tiempo que en mtodo tradicional. Si estudio a distancia tengo ms tiempo libre. Estoy en segundo semestre de administracin de empresas. Para algunos todos estudiar lgica es muy difcil.

Sandra Liliana Ramrez

Es ms fcil el estudio de administracin que el d ingeniera. El curso de lgica el ao entrante ser mas difcil. Estudiaras a distancia?

Sandra Liliana Ramrez

Sandra Liliana Ramrez

Sandra Liliana Ramrez

Georffrey Acevedo Gonzalez actualizo el mdulo de lgica.

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 y constantes p=hay una buena vida humana q=tenemos cario sincero y compaa inteligente r=Patricia s=es ordenada

Lenguaje simblico pq

p<->q

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

p->q

Patricia es ordenada.

rs

La vitamina A proviene de carnes, huevos y lcteos.

P<->t p= La vitamina A t= provienen de carnes, huevos y lcteos.

Si consumes carne o lcteos, adquieres protena y vitamina A

s-> s=si consumes carnes o lcteos. t=adquieres protenas y vitaminas

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 v v v v v f v f f f f f f f v f v v f v f v f v

p->q v v f v v v v f

q->r v f v v f v f v

p f f f v v v v F

[(p ->q)v(q ->r)] v v v v v v v v

[(p ->q)v(q ->r)] -> p f f f v v v v v

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 PM V, F x x x x x x x x x f v v 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.

Definimos a la lgica como la ciencia formal y vemos como no se preocupa por el contenido de los pensamientos sino de su manera o forma. Vemos en su evolucin como Aristteles siendo considerado el padre de la lgica define al ser humano como un animal racional y si tenemos en cuenta esta definicin llegamos a la conclusin que la lgica es imprescindible para que el ser humano pueda vivir de acuerdo a su naturaleza. Sin un conocimiento riguroso de la lgica las personas pueden tener problemas para razonar significa que aprendiendo lgica podemos razonar ms efectivamente algo esencial para nuestra supervivencia. Luego viene el matemtico Gottfried Leibniz quien intenta reformar la lgica representar el conocimiento en forma que pudiera ser usado por un razonamiento mecnico. Siguiendo George Boole junto a Augustus de Morgan hacen notar el parentesco entre las operaciones lgicas y las matemticas y entonces se crean las tablas de la verdad las cuales utilizamos hoy en da para averiguar si es una proposicin es verdica. Despus de ellos Bertrand Russell y Alfred Whitehead codifican la lgica simblica y a ellos es atribuida la lgica formal moderna. Descubrimos la utilidad de esta asignatura ya que los estudiantes aprenden a ser uso del lenguaje, a efectuar razonamientos abstractos y establecer un lenguaje simblico que permiten simplificar argumentos lgicos complicados.

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

1. Este trabajo nos permiti poder tener un conocimiento ms amplio de lo que realmente es la lgica matemtica, como la utilizamos en nuestro diario vivir, y la importancia que tiene como el estudio de esta materia nos va a ayudar a aprender mucho ms fcil las ciencias exactas.

2. Aprendimos a utilizar las tablas de la verdad para poder conocer la veracidad o falsedad de las proposiciones.

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

http://www.elespectador.com/articulo138808-poblacion-desplazada-colombia-alcanza-los-43millones-de-personas http://www.elespectador.com/impreso/vivir/articulo-297906-colombia-1672000-analfabetas https://www.dnp.gov.co/Portals/0/archivos/documentos/DDS/Pobreza/En_Que_Vamos/Cuantos_ son_los%20pobres_(DEF2).pdf content&view=arti http://www.sevenoticias.com/sn/jo1515/index.php?option=com_cle&id=762%3Acontradiccionesun-grupo-para-otras-adicciones&catid=49%3Anoticias&Itemid=63

Docente diseador: Georffrey Acevedo G.

12

You might also like