Você está na página 1de 11

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10.

. Trabajo Colaborativo 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo grupal de calificacin individual No.2

Presenta

IVIS MEJA FERNNDEZ Cdigo: 33108531

Tutor

SANDRA ISABEL VARGAS

Director de curso Georffrey Acevedo Gonzlez

Bogot Julio 16 de 2013

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

INTRODUCCIN

El presente trabajo tiene como finalidad afianzar las temticas de la unidad 2, razonamiento deductivo e inductivo; analizaremos un argumento lgico el cual entrara en debate para definir si se trata de un razonamiento deductivo e inductivo. Seguidamente Se analizar la validez de la conclusin Respetamos la ley la cual desde el estudio de las proposiciones se llevara a lenguaje simblico; y de acuerdo a las premisas establecidas en lenguaje simblico se llegara a una conclusin.

Posteriormente se elaborara las demostraciones a partir de las Tablas de Verdad evaluando dos casos especficos; los resultados sern comprobados simulador. con el uso del

Las demostraciones a partir de las leyes de inferencia que hemos aplicado dan cuenta de la validez del argumento, demostrando una vez ms que nuestro lenguaje puede ser verificado por la lgica matemtica y tambin puede ser demostrado y sustentado lingsticamente as como analizado verbalmente

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

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.

DESARROLLO DE LA ACTIVIDAD

Fase 1:

EL RAZONAMIENTO PROPUESTO ES DEDUCTIVO O INDUCTIVO?

Es un Razonamiento Inductivo, porque parte de obtener una conclusin general.

premisas particulares para

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

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 las 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: q r Premisa 4: r s

2.3. Conclusin en lenguaje simblico. Conclusin: s

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

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 q r s 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 Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin p v 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

V V V V V V V V V F V V F V F V V F V F F F F V F F V F F V F F V F

V F V V

F V V V F V V F V F F V F F F F F F V F F F F

F V V

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

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

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

Conjuncin de premisas: [(p v q) (p) (q r) (r s)] s

TABLA DE VERDAD
Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin [(P v q) (p) (q r) (r s)] s

p q

s 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 V V V V

q r 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

V V V V V V V F V V F V V V F F V F V V V F V F V F F V V F F F F V V V F V V F F V F V F V F F F F V V F F V F F F F V F F F F

V V V V V V V V F F F F F F F F

V V V V V V V V V V V V V V V V

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

Se obtiene una TAUTOLOGA, es decir que es verdadera para todas las combinaciones posibles de los valores de verdad de sus premisas; demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido.

2.4.3. Verificacin con Simulador:

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

2.4.4. Demostracin a partir de las leyes de inferencia:

Premisa 1: p v q Premisa 2: p Premisa 3: q r

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

Premisa 4: r s ______________________________ 5. q 6. 7. r s 1, 2 MTP 3, 5 MPP 4, 6 MPP

Las leyes de inferencia permiten deducir la conclusin, en este caso la conclusin se deriva de las premisas, por lo tanto el razonamiento es vlido.

2.4.5.: Demostracin por reduccin al absurdo: (Mtodo abreviado o prueba formal de invalidez):

Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa: Si es posible entonces el razonamiento es invlido. Premisa 1: p
F

v
V

q
F

= Falso

Premisa 2:

p
V

= Verdadero

Premisa 3:

q
F

r
F

= Verdadero

Premisa 4:

r
F

s
F

= Verdadero

______________________________ Conclusin s
F

Observamos que en la primera premisa encontramos una ambigedad siendo que la disyuncin es verdadera cuando sus variables son ambas falsas, no se le puede dar valor

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

Verdadero a la disyuncin porque F v F = F, luego la invalidez de dicho razonamiento no se puede probar. Del anlisis por reduccin al absurdo se concluye que no es posible que cuando las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el razonamiento es vlido.

FASE 3: QU GANAMOS Y A QU RENUNCIAMOS AL VIVIR EN SOCIEDAD?

El razonamiento propuesto nos sita ante una realidad cotidiana, comenzando por decir que somos seres sociales, que dependemos los unos de los otros.

Al vivir en comunidad ganamos calidad de vida, beneficio mutuo; al no estar solos aprendemos a compartir desde la compaa del otro, hasta el uso de bienes y servicios, cultura, conocimiento, etc. As mismo al vivir en comunidad aceptamos que nos acogeremos a leyes y normas que cada uno de nosotros est comprometido a cumplir, estas obligaciones que asume cada individuo tiene como finalidad hacer de nuestra vida en comunidad una mejor forma de vivir, siempre dentro del respeto, aceptando de que el bien comn est por encima del bien individual, en este caso estamos anteponiendo la sociedad, la comunidad antes del bien individual.

Al vivir en sociedad se renuncia a los intereses individuales y una libertad ilimitada aqu es vlido mencionar el lema antiguo y popular de que "la libertad del individuo acaba donde empieza la libertad de los dems". Puede haber acciones que son benficas para el individuo pero pueden a la vez perjudicar a otros individuos de nuestra sociedad, por lo tanto no deben permitirse, por el simple hecho de que el individuo que las realiza est atacando la libertad de aquellos a quienes puede hacer dao con sus decisiones.

Docente diseador: Georffrey Acevedo G.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

CONCLUSIONES

Este trabajo ha sido todo un proceso de aprendizaje en muy corto tiempo, aprender a trabajar en equipo, debatiendo y aceptando la posicin de cada una desde su propia vala y conocimiento; aprender a representar enunciados por medio de la simbologa lgica, conocer y aplicar los conceptos tautologa, realizar demostraciones a partir de las leyes de inferencias as mismo como demostrar por reduccin al absurdo o prueba formal de invalidez si un razonamiento es vlido o no.

De hecho haber estudiado de esta manera, comprueba una vez mas que es mejor vivir y compartir en comunidad que actuando cada uno por su cuenta, trabajando todos hacia un mismo fin es lo que le da validez an ms a este trabajo colaborativo; ejercer y/o aceptar un liderazgo, seguir unas reglas establecidas dentro del grupo siempre bajo el respeto por el compaero, tambin nos lleva una conclusin razonable y lgica, si

respetamos esta ley se llega a compromisos, acuerdos y lgicamente a una aceptacin de convivencia, siempre en busca del beneficio comn.

Docente diseador: Georffrey Acevedo G.

10

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA 90004 Lgica Matemtica Gua de Actividades y Rbrica de evaluacin Act No. 10. Trabajo Colaborativo 2

REFERENCIAS BIBLIOGRFICAS

ACEVEDO GONZALES, G. (2012). Modulo Lgica Matemtica. Medelln: Universidad Nacional Abierta y a Distancia

Sobre la libertad. Wikipedia, la enciclopedia libre. Recuperado el 14 de Julio de 2013 de la fuente: http://es.wikipedia.org/wiki/Sobre_la_libertad

Docente diseador: Georffrey Acevedo G.

11

Você também pode gostar