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

Gilberto Daz Castillo 91.183.482

Tutor Miller Eduardo Jimnez

Director de curso Georffrey Acevedo Gonzlez

Valledupar Cesar 19 de Abril del 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 tiene como objetivos demostrar los conocimientos aprendidos en la unidad 1 como son la teora de conjuntos, su relacin entre ellos, diferentes clases de conjuntos y su representacin grfica y la solucin de problemas con los mismos. Se plantearan y formularan expresiones del lenguaje simblico y el lenguaje natural, haciendo un anlisis en la aplicacin de conectores lgicos que se dan para determinadas situaciones que se plantean en el trabajo a presentar. Argumentar y formular tablas de verdad por medio del anlisis de premisas y todos los conocimientos adquiridos en los captulos de deduccin e Induccin.

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. Hacer combinacin entre conjuntos

M
15,1 5 0,1 0,3 0,2 2,44

0,25

D
Docente diseador: Georffrey Acevedo G.

U=70,91%

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

M=Mujeres = P=Poblacin desplazada = D=Drogadictos =

DESARROLLO DE COMBINACION ENTRE CONJUNTOS M= {15.1% + 5% +0.3% + .1%} P= {5% +2.44% + 0.1% + 0.2%} D= {0.3% +0.1% + 0.2% + 0.25%} U= {70.91%} UNION: M U P= {15.1%+5% + 0.3% + 0.1% +2.44% 0.2%} M U D= {15.1% +5%+ 0.3% + 0.1% + 0.2% + 0.25%} P U D = {5% + 2.44%+ 0.1% +0.2%+0.3% + 0.25%} M U P U D= {15. 1% + 5% +2.44% +0.3% +0.1+0.2% +0.25%} INTERSECCION: M P= {5% + 0,1%} M D= {0.3% + 0.1% } P D= {0.1 % + 0.2%} M P D = {0.1 %} COMPLEMENTO: (M U P) = {0.25% + 70.91%} (MU D) = {2.44% + 70.91%} (PU D) = {15.1% +70.91%} (M U P U D) = {70.91%} (M P)= {15.1%+ 0.3% +2.44%+0.2%+0.25%+ 70.91%} (M D) = {15.1% + 5% + 2.44% +0.2%+0.25%+70.91%} (P D) = {15.1% +5% +2.44%+0.3%+0.25%+70.91%} (M P D) = 15.1%+5%+2.44%+0.3%+0.2%+0.25%+70.91%} U= (vaco)

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: Gilberto Daz Castillo es estudiante de Ingeniera Industrial (V) Los trabajos colaborativos se deben realizar por todos los integrantes del grupo (v) Lgica Matemtica es un curso que solo se ve en el rea de Ingeniera (F) Miller Eduardo Jimnez Tutor de la UNAD (V) El aprendizaje autnomo no se necesita en la mediacin virtual (F) Vamos a entregar el trabajo colaborativo Como estn compaeros? Los esferos y los cuadernos Tu y yo y el tambin Vamos a comprar al xito

Nombre del estudiante

Son proposiciones lgicas:

No son proposiciones lgicas

Gilberto Diaz Castillo

Gilberto Daz Castillo es estudiante Vamos a entregar el trabajo colaborativo de Ingeniera Industrial Los trabajos colaborativos se deben realizar por todos los integrantes del grupo Lgica Matemtica es un curso que solo se ve en el rea de Ingeniera Como estn compaeros?

Gilberto Diaz Castillo

Los esferos y los cuadernos

Gilberto Diaz Castillo

Gilberto Diaz Castillo

Miller Eduardo Jimnez Tutor de la Tu y yo y el tambin UNAD El aprendizaje autnomo no se necesita en la mediacin virtual Vamos a comprar al xito

Gilberto Diaz Castillo

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 = cuando somos ordenados r = constantes p = Dos condiciones son necesarias q = suficientes para tener una buena vida humana r = Tener cario sincero s = compaa inteligente p= patricia es ordenada p=la vitamina A proviene de carnes, q= huevo r= lcteos p=consumes carne q=lcteos r= adquieres protenas s= vitamina A

Lenguaje simblico pq

(p q)^r

Dos condiciones son necesarias y suficientes para tener una buena vida humana: Tener cario sincero y compaa inteligente. Patricia es ordenada. La vitamina A proviene de carnes, huevos y lcteos.

(p ^ q) (r ^ s)

P p^q^r

Si consumes carne o lcteos, adquieres protena y vitamina A

p v q 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 V V V V V F V F V V F F F V V F V F F F V F F F

p F F F F V V V V

(pq) V V F F V V V V

v V V V V V V V V

(qr) F V V V V V V V

[(pq)v(qr)] (p) F F F F 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

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 V V F 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 Luego de dcadas de progreso y desarrollo a partir de las capacidades humanas, los avances en la lgica se han logrado gracias al impulso y al deseo de satisfacer las necesidades tanto fsicas como mentales de los seres humanos pensantes, como combinar la mente con la tecnologa, las leyes con la fsica, el lenguaje hablado con el lenguaje escrito, para as llegar a representar por medio de nmeros, smbolos que es lo verdadero y lo falso de las formulas del lenguaje. 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. El nacimiento de la lgica propiamente dicho est directamente relacionado con el nacimiento intelectual del ser humano. La lgica emerge como mecanismoespontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncair destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolucin Matemtica, Revolucin Cientfica, Revolucin Formal y Revolucin Digital adems de la prxima y prevista Revolucin Lgica. La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin utilizados en matemticas lo que convierte la lgica en una especie de metamatemtica. Una teora matemtica considera objetos definidos enteros, por ejemplo y define leyes que relacionan a estos objetos entre s, los axiomas de la teora. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construccin de sistemas formales, formalizacin, piedra angular de la lgica matemtica, permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explcita y exhaustivamente las reglas de la deduccin matemtica

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

Conclusiones
Con este trabajo se logra un conocimiento ms a fondo sobre la primera unidad la cual nos ensea sobre lo importante que son las teoras de conjuntos, conectivos lgicos, la deduccin y la induccin, y que son la forma de iniciar la lgica matemtica la cual nos da grandes bases para nuestro diario vivir. Se realiza la entrega del trabajo colaborativo #1, logrando el objetivo de introducirnos en los conocimientos de la unidad 1, participando activamente buscando el objetivo comn: aprender a aprender con estrategias desconocidas por todos, soportados con el deseo de superacin de los integrantes del grupo. Respecto a lo acadmico el grupo est adquiriendo la madurez requerida para soportar los cambios en las rutinas del da a da y la forma de adquirir nuevos conceptos a distancia.

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

Referencias .
Acevedo Gonzlez Geoffrey (2010, pgina 6) Mdulo Lgica Matemtica, Versin seis. Recuperado el 28 de Marzo de 2011 Acevedo Gonzlez Geoffrey, (Nov. 16 de 2008) A qu viene la lgica? Recuperado el da 28 de marzo de 2011 http://profe-alexz.blogspot.com/2011/02/conjuntos-diagramas-de-venn-30.html http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Docente diseador: Georffrey Acevedo G.

11