UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA. LOGICA MATEMATICA Trabajo Grupal de Calificacin Individual No.1 Presenta VICTOR HUGO ZAPATA JENNY ROCIO LASO BEATRIZ JOHANNA SOLANILLA ORTEGN CC. 53.931.463 LUCY JUDITH CORTES MARTINEZ C.C 59.663.156 Tutor Virtual ERICA ZULAY DIAZ. Director del Curso GEORFFREY ACEVEDO GONZLEZ

San Andrs de Tumaco, 22de Abril de 2013

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

1/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

INTRODUCCIN El presente documento contiene un aporte muy personal sobre lo comprendido en las lecturas y documentos recomendados para el desarrollo del mismo, cuya base son los documentos A qu viene la lgica, Gua de trabajo colaborativo y el mdulo de lgica matemtica contiene el desarrollo de los temas relacionados con la teora de conjuntos, conectivos lgicos, tablas de verdad, proposiciones y razonamientos. Se plantearan y formularan expresiones del lenguaje simblico y el lenguaje natural, haciendo un anlisis en la aplicacin de conectores lgicos que se dan p a r a 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. Se pretende adquirir una base slida sobre la cual poder argumentar cualquier concepto o idea que se quiera expresar, debatir o poner en consideracin. Esperando que el mismo sea claro y de utilidad para los futuros lectores.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

2/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica
Fase 1. Saberes previos para la unidad: Teora de conjuntos

POBLACIN COLOMBIANA MUJERES 21,20%

44593550 51% ANALF ABETA 2.9% 4,70% DESPL AZ ADA 5,60% 3,20% POBR EZ A 12% 11% TABAQ UISMO 5,30% 7,50% DESNU TRICIN 4% 6,80% HOMBRES 49% 15,80%

MA =

{ x / / x D x P x T x DN }.

MA= Conjunto de mujeres analfabetas U = { x M v x / x A v x D v x P v x T v x DN }. Diferencia A D = { x / x x D } A T = { x / x x T } DN A = { x / x DN x A }. D P = { x / x D x P }.

INTERSECCIN

M H = PS. M H = { x / x M x H }. Toda la poblacin que tiene problemas sociales.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

3/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica M H = (M U H) (M H) M H = (M-H) U (H-M). Toda la poblacin que no tiene problemas sociales

Fase 2. Principios de lgica.

NOMBRE DEL ESTUDIANTE Lucy Cortes

SON PROPOSICIONES LGICAS:

NO SON PROPOSICIONES LGICAS Soy estudiante de Cuantos semestres Ingeniera Alimentos. tiene esta carrera? La lgica matemtica es Es necesario para una asignatura transversal ingeniera de de la UNAD alimentos. La bioqumica es una Habilito bioqumica materia esencial del programa de Ingeniera de alimentos Si hay control de Calidad Mala manipulacin en los alimentos entonces mejora la salud. Ingeniero de Alimentos Diseo un computador hace montaje y disea equipos para transformacin de los alimentos

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

4/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

2.1 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 premisas Lenguaje simblico

Si hay tolerancia, entonces hay p = hay tolerancia paz q = hay paz Aprendemos matemticas cuando somos ordenados y constantes. p=Somos ordenados q=constante r= Aprenderemos matemtica 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 = cario sincero q = compaa inteligente r = buena vida p = patricia ordenada p = vitamina A q = carne r = huevos s= lcteos p = carne q = lcteos r = protenas s = vitamina A

p q

(pq)r

(pq)r

p=vof

(qrs)p

Si consumes carne o lcteos, adquieres protena y vitamina A

(pvq)(rs)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

5/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica
2.1. 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 q v v F F v v v v

q r v F v v v F v v

(p q) V ( q r) v v V V v v v v

P F F F F V V V V

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

6/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

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. Es una proposicin es contingente.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

7/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica .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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

8/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

Fase 3. Reflexin grupal

La evolucin de la lgica est ligada a la evolucin intelectual del ser humano, ya que como ciencia del razonamiento se puede afirmar que su historia representa la historia misma del hombre. La lgica surge desde el momento en que el hombre al enfrentarse a la naturaleza empieza a observar, experimentar, deduce y razona. El objetivo de la lgica matemtica es cuestionar los conceptos y las reglas de deduccin que son utilizadas en las matemticas y esto constituye a la lgica en una verdadera matemtica.

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 y smbolos lo que es verdadero y lo que es falso de las formulas del lenguaje.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

9/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

CONCLUSIONES El desarrollo de la actividad planteada para el desarrollo del trabajo colaborativo 1, nos presenta una profundizacin y una puesta en prctica de las teoras aprendidas durante el estudio de la primera unidad del modulo, adems de consolidar las polticas de los trabajos colaborativos, mediante aportes significativos sobre las actividades realizadas por cada uno de los miembros del equipo de trabajo colaborativo. Ha sido una grata experiencia de mucho razonamiento y comprensin lgica que se convertir en una til herramienta a aplicar desde nuestra cotidianidad.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

10/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

REFERENCIAS.

http://respuestas.wikia.com/wiki/Cuantos_hombres_y_mujeres_hay_en_colombi a_en_el_2011. http://www.indexmundi.com/es/colombia/poblacion_perfil.html. http://www.dane.gov.co/files/investigaciones/condiciones_vida/pobreza/boletin_ pobreza_2011.pdf. http://www.acnur.org/t3/operaciones/situacion-colombia/desplazamientointerno-en-colombia/ http://www.elespectador.com/articulo-234028-colombia-registra-49-millonesde-desplazados-conflicto-armado http://www.sevenoticias.com/sn/jo1515/index.php? option=com_content&view=article&id=778:estadisticas-de-desnutricion-encolombia&catid=49:noticias&Itemid=63 http://www.indexmundi.com/es/colombia/poblacion_perfil.html.

Acevedo Gonzlez Georffrey (2012) Mdulo Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Medelln, Colombia. Recuperado el 28 de septiembre de 2012, de: http://ubuntuone.com/70BS49zh6Pz39LVs597at4 Acevedo Gonzlez Georffrey (16 de noviembre de 2008) A qu viene la lgica? Universidad Nacional Abierta y a Distancia UNAD. Medelln, Colombia. Recuperado el 28 de septiembre de 2012 de: http://66.165.175.233/campus03/mod/resource/view.php? id=372. Jos Muoz, (2011). Historia de la lgica matemtica. Buenastareas.com. Recuperado el 02 de octubre de 2012 de. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

11/12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica http://www.buenastareas.com/ensayos/Historia-De-La-LogicaMatematica/1621363.html.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

12/12