UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LGICA MATEMTICA

NOMBRE DE LA ACTIVIDAD TRABAJO COLABORATIVO 2 Presenta WILLIAM REYES IBARGEN Cdula: 16367944 CEAD: PALMIRA Programa acadmico (PSICOLOGIA): Nmero Celular: 3175864634 e-mail: reywilli@erra.com.co

TUTOR NOMBRE DEL TUTOR OSCAR JHONNY GOMEZ DIRECTOR NOMBRE DEL DIRECTOR DE CURSO GEORFFREY ACEVEDO

CALI, MAYO DE 2013

INTRODUCCIN

Se le dar lectura a la unidad dos del modulo de lgica matemtica para despus de esto realizar unos ejercicios prcticos donde se demostrara a travs de las reglas de inferencia lgica, el cuerpo de razonamientos ya sean deductivos o inductivos, as se aclarara la forma original del lenguaje.

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. Georffrey A.G.

Fase 1) Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo? El razonamiento propuesto es deductivo porque parte de la aceptacin de unas premisas, premisas que expresan experiencias que establecen un principio general, es decir, un principio que es vlido para cualquier caso referido de su misma clase o especie. Fase 2) A continuacin, analiza la validez de la conclusin: Respetamos la ley Nota: Visita el ejemplo de apoyo para la fase 2 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= 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: ~p v ~q Premisa 2: p Premisa 3: ~qr Premisa 4: rs

2.3 Conclusin en lenguaje simblico: S 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 pqrs vvvv vvvf vvfv vvff vfvv vfvf vffv vfff fvvv fvvf fvfv fvff ffvv ffvf fffv ffff

Premisa1 ~p 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 ~q F F F F V V V V V V V V V V V V ~pv~q

Premisa2 p v v v v v v v v f f f f f f f f

Premisa3 ~qr V V V V V V F F V V V V V V F F

Premisa4 r s 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

En ninguno de los casos ocurre que las 4 premisas sean verdaderas y la conclusin sea falsa, en consecuencia 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.)

pqrs vvvv vvvf vvfv vvff vfvv vfvf vffv vfff fvvv fvvf fvfv fvff ffvv ffvf fffv ffff

~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

~pv~q F F F F V V V V V V V V V V V V

p v v v v v v v v f f f f f f f f

~qr V V V V V V F F V V V V V V F F

rs 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+~q)&p&(~q>r)&(r>s)]>s F v v F f v F v v F f v V v v F f v F v v F f v F v v F f v F v v F f v F v v F f v F v v F f v

La tabla es una tautologa, entonces el razonamiento es valido

2.4.3. Verificacin con simulador

2.4.4. Demostracin a partir de las leyes de inferencia: Premisa 1: ~pv~q Premisa 2: p Premisa 3: ~qr Premisa 4: rs _____________________ 5 ~q 1,2 S.D. 6 r 3.4 M.P. 7 s 34 M.P.

2.4.5.: Demostracin por reduccin al absurdo: Premisa 1: ~pv~q = v Premisa 2: p = v Premisa 3: ~qr = v Premisa 4: rs = v _______________________ Conclusin s=f Si la conclusin s es f, en la premisa 4 rs si es v, r tiene que ser f. Si r es f, en la premisa 3 ~qr, si es v, ~q tiene que ser f Si p es verdadera, ~p es f y si ~p es f y ~q es f La premisa 1 ~pv~q es f, lo que es una contradiccin por lo tanto 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) Al vivir en sociedad lo que ganamos en trminos generales son comodidades para nuestra vida porque unos y otros aportan o aportamos para nosotros y los dems podamos obtener los recursos y bienes para tener una vida cmoda o por lo menos sobrevivir: alimentos, ropa, vivienda entre otros. Al vivir en sociedad la libertad puede decirse que es limitada, porque aunque tengamos muchas riquezas seamos muy inteligentes o tengamos en grado superlativo cualquier cosa, el uso de esto, ya que como es comn or la libertad y derechos de uno llegan hasta donde empiezan los del otro.

CONCLUSIONES

Como nos comunicamos en el da a da responde a las estructuras lgicas de deduccin e induccin, las cuales se pueden verificar cambiando con anterioridad al lenguaje simblico y confrontando con tablas de verdad, para ratificar que si se puede y es cierto. Solo as se conocer el verdadero sentido de los dilogos que a diario se utilizan. La lgica inferencial consiste en obtener una proposicin verdadera a partir de una proposicin verdadera dada en nuestro caso las premisas a la que le aplicamos las reglas de inferencia.

BIBLIOGRAFIA

ACEVEDO GONZALEZ, Geoffrey. Universidad Nacional Abierta a Distancia. Modulo curso de lgica matemtica. 1ra Edicin. Mayo 2012.

WEBGRAFIA

Http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/