UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA LOGICA MATEMATICA Trabajo Colaborativo 2

Presenta Nalia Delgado Arteaga_69055658

Tutor Miguel Montes Montao

Director del curso Georffrey Acevedo Gonzalez

Pasto Nario 2013

Problema de aplicacin Los razonamientos lgicos que hemos estudiado en la segunda unidad no son exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el debate cotidiano de las ideas. A continuacin se propone un dilogo entre varios estudiantes de la UNAD: A continuacin se plantea un argumento lgico: Para nuestra deduccin, partamos de aceptar las siguientes premisas: Nos gusta que al abrir un grifo, por ste salga agua. Nos gusta que existan personas que se dediquen a fabricar zapatos, tambin nos gusta que existan mdicos. Tambin nos gusta que existan personas que se dedican a compartir su conocimiento. Luego, tener agua, tener donde comprar zapatos, y tanto mdicos como maestros, implica dos cosas: necesitar de otras personas y tener calidad de vida. Y a su vez, necesitar de otras personas es vivir en comunidad. Podemos concluir entonces que como a todos nos gusta tener calidad de vida, a todos nos gusta vivir en comunidad. Qu debo hacer para vivir en comunidad? Ahora bien, si elegiste vivir en una comunidad, debers respetar la ley, sin importar que tu fuerza fsica sea mayor que la de otros, sin importar que tengas ms estudios o conocimientos que otros, sin importar que tengas ms recursos econmicos que otros, para vivir en comunidad, es necesario que respetemos la ley, ya que por medio de la ley es que las personas podemos ejercer el respeto de nuestros derechos, y podremos exigirlos aun a los ms ricos o fuertes. Igualmente, al exigirles a otros que se limiten en sus acciones, tambin, al vivir en comunidad aceptamos restringir voluntariamente nuestras acciones. Podemos concluir entonces que quien no respeta la ley, no acepta vivir en comunidad y por lo tanto est renunciando a sta y a sus beneficios. G

Fase 1) Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo? El razonamiento lgico parte de premisas usando leyes de inferencia para llegar a la conclusin por lo tanto es deductivo. Fase 2) A continuacin, analiza la validez de la conclusin: Respetamos la ley Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos Premisa 2: Nos gusta tener calidad de vida Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad

Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley

2. 1 Declaracin de proposiciones simples: p=: O no nos gusta tener calidad de vida o no nos gusta vivir solos q=: Nos gusta tener calidad de vida r=: Si no nos gusta vivir solos, nos gusta vivir en comunidad s=: Si nos gusta vivir en comunidad, entonces respetamos la ley 2. 2 Premisas en lenguaje simblico: Premisa 1: ~p v ~q Premisa 2: p Premisa 3: ~q -->r Premisa 4: r -->s 2. 3 Conclusin en lenguaje simblico: s

2. 4 Demostraciones: 2.4.1: Demostracin a partir de las tablas de verdad forma 1 : Proposiciones simples | Premisa 1 | Premisa 2 | Premisa 3 | Premisa 4 | Conclusin | | p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F ~p F F F F F F F F V V V V V V V V ~q F F F F V V V V F F F F V V V V ~p v ~q F F F F V V V V V V V V F F F F p V V V V V V V V F F F F F F F F ~q-->r V V V V V V F F V V V V V F F F r --> s V F V V V F V V V F V V V F V V s V F V F V F V F V F V F V F V F

Se puede decir que no existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido. 2.4.2: Demostracin a partir de las tablas de verdad forma 2: [(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F ~p ~q ~p v~q F F F F F F F F V V V V V V V V F F F F V V V V F F F F V V V V F F F F V V V V V V V V F F F F p V V V V V V V V F F F F F F F F ~q-->r V V V V V V F F V V V V V F F F r --> s V F V V V F V V V F V V V F V V s V F V F V F V F V F V F V F V F [(~p v~q) ^ (p ) ^ ( ~q-->r) ^ (r --> s)] --->s V V V V V V V V V V V V V V V V

2.4.3. Verificacin con simulador RESULTADOS DEL SIMIULADOR

Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido