Vous êtes sur la page 1sur 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso:

: Lgica Matemtica

INTRODUCCIN.

En este trabajo se tratar la segunda unidad del modulo, se encontraran determinados ejercicios donde se aplicaran conceptos, razonamientos lgicos bsicos sobre las leyes de inferencia; ya que estos se encuentran presentes no solo en los espacios acadmicos, de hecho se hace uso de stos en la vida diaria muchas veces en debates cotidianos de ideas. Incontables veces se hallan situaciones complejas que estn gobernadas por estas leyes. Una demostracin por ejemplo, es una inferencia, donde las premisas son los antecedentes o enunciados conocidos y de ellas se desglosa una conclusin. Siendo as, la inferencia es la forma en la que se obtienen conclusiones en base a datos y declaraciones establecidas. Basados en esto se realizarn ejercicios donde el estudiante aplicar los conceptos aprendidos en el curso sobre las leyes de inferencia, demostrando la validez de una conclusin y por ltimo, haciendo uso de las tablas de la verdad tambin lograr determinar la validez de un razonamiento.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

Fase 1. 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. GeorfreyA.G. Pregunta de la Fase 1. Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo? Respuesta:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

Las dos frases propuestas en la lectura del ejercicio contienen un razonamiento deductivo que inicia con premisas generales acerca de lo que nos agrada, para acabar con dos afirmaciones particulares, las cuales llevan a una sola conclusin. Luego, vuelve a proponerse otro razonamiento deductivo que origina otras condiciones para que se establezca la armona en comunidad, en resumen se trata de un razonamiento deductivo ya que parte de premisas que han usado leyes de inferencia para hallar su conclusin.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

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 Desarrollo Fase 2: 2.1. Declaracin de proposiciones simples: p = Nos gusta tener calidad de vida q = Nos gusta vivir solos r = Nos gusta vivir en comunidad s = Respetamos la ley 2.2. Premisas en lenguaje simblico: premisa 1: premisa 2: premisa 3: premisa 4: ~p v ~q p ~q r rs

2.3. Conclusin en lenguaje simblico: s

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

2.4. Demostraciones: 2.4.1: Demostracin a partir de las tablas de verdad forma 1: (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)
Proposiciones simples 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 ~p F F F F F F F F V V V V V V V V ~q ~q F F F F V V V V F F F F V V V V Premisa 1 ~p v ~q F F F F V V V V V V V V V V V V Premisa 2 P V V V V V V V V F F F F F F F F Premisa 3 ~q r V V V V V V F F V V V V V V F F Premisa 4 rs V F V V V F V V V F V V V F V V Conclusin s V F V F V F V F V F V F V F V F

No hay ningn caso en donde todas las premisas sean verdaderas y la conclusin sea falsa, as que el razonamiento es vlido.

2.4.2: Demostracin a partir de las tablas de verdad forma 2: (Evaluando si la conjuncin de las premisas implican la conclusin.)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] Conclusin


[(P1) ^ (P2) ^ (P3) ^ (P4)] Conclusin F F F F V F F F F F F F F F F F [(P1) ^ (P2) ^ (P 3) ^ (P4)] Conclusin s V F V F V F V F V F V F V F V F V V V V V V V V V V V V V V V V

P1 ~p v ~q F F F F V V V V V V V V V V V V

P2 p V V V V V V V V F F F F F F F F

P3 ~q r V V V V V V F F V V V V V V F F

P4 rs V F V V V F V V V F V V V F V V

Conclusin

Se produce una tautologa, comprobando que la conjuncin de las premisas implica la conclusin, as que el razonamiento es vlido.

2.4.3. Verificacin con simulador

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

2.4.4. Demostracin a partir de las leyes de inferencia: premisa 1: premisa 2: premisa 3: premisa 4: Conclusin: ~p v ~q p ~q r rs s

premisa 1: premisa 2: premisa 3: premisa 4:

~p v ~q p ~q r r s________

5. ~q 1, 2 S.D 6. r 3, 5 MPP 7. s 6, 4 MPP


1

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

Por medio de las leyes de inferencia se deduce la conclusin, as que el razonamiento es vlido. 2.4.5.: Demostracin por reduccin al absurdo: Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa: Si es posible entonces el razonamiento NO es vlido. premisa 1: premisa 2: premisa 3: premisa 4: Conclusin ~p v ~q p ~q r r s___ s =F

Comenzamos presumiendo que las cuatro premisas son verdaderas y la conclusin es falsa. Si la conclusin s = F, para que la premisa 4 r s sea Verdadera, r debe ser falsa. En la premisa 3, para que sta sea verdadera, pensando que r es Falsa, q debe ser Verdadera. En la premisa 2, p es verdadera. En la premisa 1: ~p es falsa, tanto como lo es ~q de donde se deduce que la premisa 1 es Falsa, luego, no es posible determinar que todas las premisas fueran verdaderas y la conclusin falsa. No es posible determinar que todas las premisas fueran verdaderas y la conclusin falsa. As que el razonamiento es vlido .

Fase 3. Debate con tus compaeros de equipo el razonamiento propuesto y registren en este espacio el producto del debate. Qu ganamos y a qu renunciamos al vivir en sociedad? (Contextualiza tu respuesta en la realidad mundial) Desarrollo Fase 3:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

Una congregacin natural o pactada de personas es lo que comnmente llamamos sociedad, esta constituye una unidad distinta de cada uno de sus individuos, con el objetivo de realizar, mediante la recproca cooperacin, todas o algunas de las finalidades en la vida. Este planeta est habitado por cerca de siete mil millones de habitantes que conforman grupos muy diversos y construyen lo que normalmente es en si la sociedad. En un grado estn las sociedades locales de los distintos pases, pero en el nivel ms amplio est la sociedad global. Por qu se instauran estas sociedades?, es simple ya que por cierta forma se encuentra el impulso que motiva a los individuos a reunirse para ser ms fuertes y seguros mediante la cooperacin. Estar en una sociedad representa acatar una serie de obligaciones, algunas se encuentran escritas por las leyes que tiene cada pas un ejemplo claro de esto es el respeto por la vida y la propiedad ajena; otras obligaciones no estn descritas en las leyes, pero forman parte del diario vivir como lo es la cortesa con los adultos mayores o el deber de colaborarle a alguna persona que necesita nuestro apoyo. Por otro lado contamos con los derechos ms bsicos como los son la alimentacin y servicios de salud, as como las ventajas de las buenas costumbres que vienen desde el hogar, ampararnos en ese orden y refinarlo es nuestra contribucin diaria para que la sociedad sea cada vez mejor, la sociedad es similar a una gran familia, donde el bienestar de uno miembro de la familia depende del bienestar de los dems. Hoy en da es comn que las sociedades vivan en una permanente innovacin y requieren nuevas conductas por parte de nosotros, hoy por ejemplo, nos encontramos en una sociedad que le da mayor importancia y valor al dinero que a todos los dems y verdaderos valores y donde a simple vista se observa que hay gente muy rica y gente muy pobre, alejada de la sociedad y sus beneficios. La actitud de hoy da exige que se busque la recuperacin de los valores reales diferentes al dinero y que la riqueza sea repartida con justicia, de una forma

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

positiva ya que nuestra sociedad se enriquece con la manifestacin de las ideas de personas procedentes de grupos muy distintos con diversos valores y caractersticas fsicas que nos ofrecen la oportunidad de practicar nuestra tolerancia. En si con cada accin estamos construyendo la sociedad donde nos encantara convivir.

CONCLUSIONES.

Mediante el planteamiento de un argumento lgico se logran diferenciar los conceptos de razonamiento deductivo e inductivo. A travs de una conclusin se logran plantear sus respectivas soluciones por medio de las declaraciones de proposiciones simples, premisas en

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

lenguaje simblico, conclusin en lenguaje simblico, por medio de demostraciones en tablas de verdad, comprobadas a su vez con un simulador y por ltimo haciendo sus demostraciones a partir de las leyes de inferencia y por reduccin al absurdo. Por medio de las leyes de inferencia lgica se logran construir tablas de verdad y de acuerdo a ellas se pueden comprobar la veracidad de las mismas. Se logra demostrar que la inferencia lgica es un gran instrumento para crear argumentos slidos y de esa forma se puede expresar de una forma ms segura, sencilla y verdica. Para aplicar las leyes de inferencia lgica hay que tener muy claro el tema de conectores lgicos, ya que este complementa las leyes de inferencia.

REFERENCIAS BIBLIOGRAFICAS

ACEVEDO, Geoffrey, Mdulo de Lgica Matemtica. UNAD, (2010)

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php
http://www.youtube.com/watch?v=80rNXH4oqPU

http://www.youtube.com/watch?v=Ahm8qfy_Mws&feature=related

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Administrativas, Contables, Econmicas y de Negocios-ECACEN Programa: Administracin de Empresas Curso: Lgica Matemtica

Vous aimerez peut-être aussi