TRABAJO COLABORATIVO 1 LOGICA MATEMATICA

Maritza muoz

TUTOR FREDY ALEXANDER CASTELLANOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES PROGRAMA DE PSICOLOGIA 2013 INTRODUCCIN

En el desarrollo de esta actividad se busca fortalecer las bases sobre las proposiciones lgicas, formas de representarlas en el diagrama de Venn; As mismo aprender a formular proposiciones lgicas y saber reconocer cuando una oracin No lo es. Teniendo en cuenta que hay diferentes tipos de proposiciones debemos saber clasificarlas y representarlas bajo el lenguaje simblico que le pertenece a cada una; Tambin se realizaran tablas de verdad y formulacin de proposiciones contrarias, recprocas y contra recprocas.

FASE 1 Saberes previos para la unidad: Teora de conjuntos

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. SOLUCIN: Encuesta a 100 personas U = Poblacin Desplazada A= {20% de mujeres fuman y viven en extrema pobreza} B= {30% de nios en desnutricin} C= {50% de mujeres son analfabetas y viven en extrema pobreza} UNION AUB= {20%M.F, 30%N.DESN} AUC= {20%M.F, 20%M.E.P, 50% M.E.P, 50% M.A} BUC= {30% N.DESN, 20%M.E.P, 50% M.E.P, 50% M.A} INTERSECCION AB= {} AC= {20%M.E.P, 50% M.E.P} BC= {} DIRERIENCIA A-B= {20%M.F, 20%M.E.P, 50%} A-C= {20%M.F} B-A= {30% N.DESN} B-C= {30% N.DESN} C-A= {50% M.A} C-B= {20%M.E.P, 50% M.E.P, 50% M.A}

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 estas expresiones, el equipo debe elegir una de las propuestas por cada participante: NO SON PROPOSICIONES LGICAS Bolvar Fernando Beltrn SI hago las tareas del Estoy descansando pero Ceron curso, gano la materia tengo las tareas incompletas Bolvar Fernando Beltrn Traje una Encomienda y Me dieron dinero pero no Ceron me darn dinero entregue la encomienda Bolvar Fernando Beltrn Si estudio matemtica Aprend lgica y Ceron aprendo lgica estudie matemtica no NOMBRE DEL ESTUDIANTE SON PROPOSICIONES LGICAS:

Bolvar Fernando Beltrn Si estudio electrnica Reparo electrodomsticos Ceron reparo electrodomsticos y no estudio electrnica Bolvar Fernando Beltrn Si soy disciplinado gano el Gano el semestre pero no Ceron semestre soy disciplinado

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 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. Premisas p = hay tolerancia q = hay paz p= ser ordenado q= ser constante r= aprender matemticas p= controlar sus inquietudes q= desearme su corazn r= buena vida humana Lenguaje simblico pq ( p q ) ( p q ) r r

Patricia es ordenada. La vitamina A proviene de carnes, huevos y lcteos. Si consumes carne o lcteos, adquieres protena y vitamina A

p= patricia q= ordenada p= vitamina A q= carne r= huevos s= lcteos p= vitamina A q= carne r= protenas s= lcteos

p q pqr

Pvqvrs

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

pq) (qr) V V V V V V V V

[(pq)V(qr)]( p) F F F F V V V V

3.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 FASE 3. EVOLUCION DE LA LOGICA MATEMATICA El desarrollo de la lgica est relacionada junto con 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 nace desde el momento en que el hombre al enfrentarse a la naturaleza empieza a observar, experimentar, deduce y razona. El principio de la lgica matemtica es indagar los conceptos y las reglas de deduccin que son utilizadas en las matemticas. En un periodo determinado antes de Cristo, se desarrollaron en la Antigua Grecia los principios formales de las matemticas. Este periodo clsico en donde sus principales representantes fueron: Tales de Mileto quien se considera el primer filosofo occidental; Scrates, que durante este periodo, los filsofos exponan y presentaban mas teora de para conocimiento del hombre que de la naturaleza. Posteriormente Aristteles, considerado como el padre de la Lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas. Y as, a travs del tiempo, podemos extrapolar a la modernidad que gracias a la lgica matemtica, los procesos de comunicacin, educacin, tecnologa son mucho ms simples y exactos. Pero dicho principio siempre se basar no en el contenido de la informacin o de la proposicin, sino en la forma que tiene esta y la validez de la misma segn su contexto de aplicacin. NP PA PM V, F x x X X X X X X X F V F V V F V

CONCLUSIONES Con la realizacin del presente trabajo de lgica Matemtica se logra la interaccin de cada uno de los integrantes del grupo, logrando familiarizarnos y entrar ms profundamente en el campo de la lgica matemtica sobre todo los conceptos de la unidad uno y el contenido sus captulos, para como estudiantes y futuros profesionales anteponer a nuestros criterios la aplicacin de la lgica matemtica

BIBLIOGRAFA www.unad.edu.co www.google.com www.youtube.com www.wikypedia.org http://www.fca.unam.mx/docs/apuntes_matematicas/36.%20Logica%20Matematic a.pdf Tractatus Logico-Philosophicus L. Wittgenstein Traduccin: J. Muoz e I. Reguera Alianza Editorial. Alianza Universidad n 50. 1991 Lgica Matemtica Y. L. Yershov, Y. A. Paliutin Traduccin: M. A. Andrinova Editorial Mir. 1994