UNIVERSIDAD ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo Grupal de calificacin individual No 1

Presenta Silvia Rosado Ortiz C.C. No: 1042428348 Luis Eduardo Carvajal C.C. No: 7 225 788

William Enrique Romero Rincn C.C. No: 1019013138

Tutor Miguel ngel Montes Montao

Director de curso

Georffrey Acevedo Gonzlez Bogot Barranquilla

Abril de 2012

INTRODUCCION

En el presente trabajo se desarrollan Cuatro ejercicios que pretenden aplicar los principales temas de la Unidad uno. En el primer ejercicio se aplica la teora de conjuntos a un tema de investigacin relacionado con los principales problemas de nuestro pas, se hacen relaciones de inclusin, interseccin y unin ; Tambin encontramos ejercicios donde identificamos las proposiciones lgicas, sus premisas y conectivos lgicos, mediante el uso de una tabla de verdad se conocer el valor de verdad de una proposicin compuesta y su resultado se verificar contra el resultado dado por un simulador generador de tablas de verdad interactivo. Por ltimo se realiza una reflexin acerca de la historia de la Lgica y la aplicacin en nuestra vida diaria.

Fase 1. Teora de conjuntos

Poblacin.45.239.079 Millones de habitantes Mujeres51,04% Hombres48,6% Analfabetismo.. .4,7% Poblacin desplazada. 9,3% Drogadiccin...10% Desempleo 11,9% Alcoholismo. 19,5% Desnutricin.19.1%

Fase 2. 1. Principios de Lgica

Son proposiciones Lgicas Puedo descansar si termino el aporte individual La Unad es una universidad a distancia Si estudio en la Unad entonces ser profesional Silvia estudia ingeniera industrial o ingeniera de mecnica Aristteles es el padre de la Lgica

No son proposiciones Lgicas Puedo estudiar en la Unad? Buenos das Que buena carrera Hiciste el aporte individual de lgica Matemtica? Hace calor

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

PREMISAS
p= Hay tolerancia q= Hay paz p= aprendemos matemticas q= somos ordenados r= somos constantes p= se tiene una buena vida humana q= se tiene cario sincero r= se tiene compaa inteligente p= Patricia es ordenada p= es vitamina A q= proviene de carnes r= proviene de huevos s= proviene de lcteos p= consumes carne q= consumes lcteos r = adquiere protena s= adquieres vitamina A 4

LENGUAJE SIMBLICO
pq p( q r )

P<->( q r )

p p( q r s) ( p v q )(r s )

Si consumes carnes o lcteos adquieres protena y vitamina A

3. Tablas de verdad

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

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

ENUNCIADOS Contraria Juan Manuel santos es presidente de Colombia Boole invento 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 racionales, entonces podemos construir una tica para vivir bien Hay paz en Colombia si y solo si los Colombianos nos escuchamos mutuamente El dinero sirve para comprar el afecto y el cario sincero

NP X

PA

PM

V,F

X X X X X X X X

V F F V F V V F

5. Reflexin

Evolucin histrica de la Lgica Los comienzos de la lgica estn atados a los comienzos de la filosofa y de la tarea de estas por encontrar y estudiar las leyes que ordenan nuestro pensamiento y de cmo lo expresamos mediante el lenguaje. Ya desde antes de Scrates los filsofos anteriores a este como Tales de Mileto se interrogaban sobre el origen y el porqu de las cosas y de todo lo que rodea al hombre incluido el pensamiento mismo y la forma de razonar. Luego vendra la aparicin de los socrticos y en particular de los sofistas quine se centraron el arte de la discusin y de convertir en slidos y fuertes los argumentos ms dbiles. Scrates considerado como el padre de la lgica la defini como: La ciencia que estudia los pensamientos correctos por lo que es la encargada de establecer las formas correctas de los razonamientos. Esta ciencia nace de la necesidad de construir argumentos slidos para defender o refutar los pensamientos y argumentos de los dems. Fue a partir del siglo XIX que comenz una relacin estrecha entre la Lgica y las matemticas y fueron autores y matemticos como Gottfried Leibniz, Frege, Russell y Whitehead quienes dan origen a la lgica moderna o la llamada lgica simblica o matemtica al transformar la lgica en un lenguaje artificial que permite "calcular", es decir, demostrar ciertas verdades a partir de otras ya establecidas a travs de una serie de pasos (las operaciones del clculo). Al ser la lgica un sistema formal axiomtico se convierte en la principal herramienta en la construccin de los computadores u ordenadores. Lo ms reciente es la codificacin de la lgica en smbolos, llevndola del lenguaje natural o cotidiano al lenguaje artificial, definiendo la lgica como Ciencia de todas las operaciones conceptuales posibles. Como tal la lgica es una materia bsica que da el fortalecimiento crtico y autocritico de los conocimientos adquiridos y usados a lo largo de las diferentes carreras ya que fortalece en el uso apropiado y entendimiento de los conectores preposicionales pero desde otro punto de vista da los valores lgicos para el funcionamiento de las diferentes maquinas modernas como lo son los computadores.

CONCLUCIONES

Se realiz un ejercicio de aplicacin de la teora de conjuntos a una investigacin sobre los principales problemas de Colombia Se identificaron expresiones y se identificaron cuales son proposiciones lgicas entendidas estas como expresiones a las que se les puede asignar un valor de verdad: verdadero o falso y las expresiones consideradas no proposiciones lgicas. Tambin se identificaron entre diferentes proposiciones cuales se consideran atmicas o simples y cuales son moleculares o compuestas as como sus diferentes conectores lgicos con el lenguaje simblico asociado a ellas. Mediante el uso de las tablas de verdad se hizo el ejercicio de conocer el valor de verdad de una proposicin compuesta. Al desarrollar este trabajo hicimos un recorrido por los diferentes temas tratados en la unidad 1 del mdulo de lgica matemtica mediante la realizacin de ejercicios como escribir proposiciones, identificar de que tipo son; ayudndonos a pasar de la teora a la prctica para interiorizar un poco ms los conocimientos adquiridos.

REFERENCIAS

Adriana Castillo Castillo, (2012). La desnutricin infantil en Colombia. Recuperado el 11 de abril de 2013 de:http://revistasupuestos.uniandes.edu.co/?p=4020%20desnutrici%C3%B3n%20en %20ni%C3%B1os Colprensa- La Repblica, (2013). Hay 20 millones de pobres en Colombia. Recuperado el 11 de abril de 2013 de: http://historico.elpais.com.co/paisonline/notas/Mayo012010/1pobreza.html Elespectador.com, (2010). As es la mujer, en estadsticas segn el Dane. Recuperado el 11 de abril de 2013 de: http://www.elespectador.com/noticias/actualidad/articulo191356-asi-mujerestadisticasegun-el-dane.

EFE,(2009). Poblacin desplazada en Colombia alcanza los 4.3 millones de personas. Recuperado el 11 de abril de 2009 de: http://www.elespectador.com/articulo138808-poblacion-desplazada-colombiaalcanzalos-43-millones-de-personas.

Redaccin de Economa y Negocios, (2013). Ligera reduccin del desempleo en febrero. Recuperado el 11 de abril de 2013 de: http://www.eltiempo.com/economia/desempleo-en-colombia_12714927-4.

Redaccin ELTIEMPO.COM, (2012). Colombia avanza en el control del tabaco. Recuperado el 11 de abril de 2012 de: http://www.eltiempo.com/vidadehoy/salud/ARTICULO-WEB-NEW_NOTA_INTERIOR-11915251.html

Redaccin Vivir, (2011). Colombia: 1.672.000 analfabetas. Recuperado el 11 de Abril de 2013 de: http://www.elespectador.com/impreso/vivir/articulo-297906colombia1672000-analfabetas

Truth Table Generator. Recuperado el 11 de abril de 2013 de: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/