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

Johana Andrea Snchez guerra 1.096.196.009

Tutor

Juan Carlos Garzn

Director de curso Georffrey Acevedo Gonzlez

ABRIL 2013

Villavicencio

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

En el presente trabajo, lo cual son de mucha importancia ya que la teora de conjuntos es la base fundamental para iniciar a complementar la iniciacin del tema relacionado a la lgica matemtica. Veremos los temas relacionados a las proposiciones y los razonamientos, son procesos que nos indican a travs de un enunciado en qu posicin segn la lgica est ubicado; indicaremos mediante tablas de verdad lo acertado que puede ser cada tem. .

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.

Encuesta 100 personas U= poblacin desplazada A= (20% mujeres que fuman y viven en extrema pobreza) B=(30% de nios en desnutricin) C=(50% de mujeres son analfabetas y viven en extrema pobreza)

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

20% A B 30%

AUB= {20% mujeres que fuman, 30% nios en desnutricin}

20% C 50%

AUC= {20% mujeres que fuman, 20% mujeres que viven en extrema pobreza, 50% mujeres son analfabetas}

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

30% C 50%

BUC= {30% nios en desnutricin, 20% mujeres que viven en extrema pobreza, 50% mujeres son analfabetas}

Intercesin AnB { 0 } AnC {20% mujeres en extrema pobreza, 50% mujeres en extrema pobreza} BnC { 0 }

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 JOHANA ANDREA SANCHEZ GUERRA

Son proposiciones lgicas: En el curso vemos Razonamiento lgico En el curso vemos Inferencia Lgica. Las tablas de verdad pertenecen al captulo de introduccin a la lgica La unidad 2 la comprenden los captulos 4, 5 y 6. El Capitulo 2 de la unidad 1 se habla sobre Tautologa.

No son proposiciones lgicas Los conectivos lgicos del captulo cuatro son ocho. El captulo de tautologa se divide en 10 subcaptulos La materia de lgica matemtica tiene 5 Unidades. La unidad de principios de lgica es la ltima en desarrollarse en la materia. La Tautologa es la ciencia que estudia los tatuajes

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 Ejempl o 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 Dos condiciones son necesarias y suficientes para tener una buena vida humana: Tener cario sincero y compaa inteligente. p = dos condiciones q = tener buena vida humana r = tener cario sincero s = tener compaa inteligente Patricia es ordenada. La vitamina A proviene de carnes, huevos y lcteos. p = es ordenada p = la vitamina A proviene de carnes q = la vitamina A proviene de huevos r = la vitamina A proviene de lcteos Si consumes carne o lcteos, adquieres protena y vitamina A p = consumo de carne q = consumo de lcteos r = adquiere pvq rvs p pq r (q r) p Lenguaje simblico p q pq r

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

protenas s= adquiere vitamina A

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 qr 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 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

[(p q) v (q r) ] (p) F F F F V V V V

Pendiente este punto

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. Este punto debe hacerse con un simulador aqu esta el link y copiar e 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 Contraria Ejemplo 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 F F V 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.

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

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

Referencias

En orden alfabtico de acuerdo con las normas APA (tal y como fue propuesto en el ejemplo de la gua de la fase de reconocimiento:) En orden alfabtico y a espacio sencillo as: Ejemplo de cita para LIBRO: Primerapellido, Segundoapellido, Iniciadel nombre (aodepublicacin). Ttulo en cursiva. Universidad. Pas: Editorial. Si la fuente es de internet adicionas: Recuperado el 20 de agosto de: http:www.direccinelectrnica.nnn. Ejemplo de cita para direccin web: Autor, (ao). Ttulo. Nombre del sitio. Recuperado el 20 de agosto de :http:www.direccinelectrnica.com.

Docente diseador: Georffrey Acevedo G.