ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Act. 10 TRABAJO COLABORATIVO No. 2 Nombre de curso: 90004 Lgica Matemtica Temticas revisadas: Unidad 2, Razonamiento deductivo e inductivo Polticas para el desarrollo de la actividad: Tres son las condiciones que deben ser cumplidas para recibir nota por el desarrollo de este trabajo colaborativo: 1. Que el estudiante presente una solucin individual oportuna de la actividad 2. Que el estudiante tenga participaciones significativas, continuas y oportunas debatiendo sus propuestas con las propuestas de sus compaeros. 3. Que el equipo haya hecho entrega de un producto final consolidado en la plantilla diseada con este fin. Este trabajo se compone de dos fases con una sola entrega de documento final. El equipo de trabajo colaborativo debe entregar un nico documento-informe que presente la tarea grupal propuesta. Los participantes debern fijar las reglas de funcionamiento del equipo, cuidando de planificar el tiempo disponible hasta la entrega del trabajo, determinando los distintos pasos que hay que completar y el tiempo disponible para cada uno de ellos.

GUA DE ACTIVIDADES Profundizacin de la Unidad 2: Queridos estudiantes, a travs de esta actividad realizaremos el proceso de transferencia de los temas de la segunda unidad. Para lograrlo desarrollaremos la actividad 10, la cual est dividida en dos fases con una nica entrega de trabajo final, tengan en cuenta que el equipo de trabajo colaborativo debe plantear fechas lmite de participacin para la solucin de cada etapa. De la participacin activa depender la evaluacin de su desempeo por parte del tutor asignado al equipo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

1/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Problema de aplicacin Los razonamientos lgicos que hemos estudiado, no son exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el debate cotidiano de ideas. A continuacin se propone un dilogo entre varios estudiantes de la UNAD, debes analizar este dialogo para dar respuesta a las fases 1 y 2: Dilogo:

Juan: Patricia: Ana: Diego: Freddy: Mara: Jorge: Tania:

algunas personas pueden hacer algo por la paz. No Juan. Todos podemos hacer algo por la paz. O hacemos algo por la paz o no queremos vivir en comunidad. Si nos gusta que existan personas que hagan ropa, entonces nos gusta vivir en comunidad. Si nos gusta que existan mdicos, entonces queremos vivir en comunidad. A quin no le gusta vivir en comunidad? Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la comunidad. podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

2/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Fase 1) A continuacin se presentan 10 proposiciones lgicas, debes analizar el valor de verdad de cada proposicin y registrar su valor. Tambin debes registrar la justificacin de por qu se asign dicho valor. La proposici n es

No.

Proposicin
El enunciado de Juan es un enunciado cientfico El enunciado de Patricia es un enunciado cientfico El enunciado de Mara es una proposicin lgica El enunciado de Diego expresa una conjuncin

Justificacin

VoF
1 2 3 4

De acuerdo con Freddy, si no nos gusta vivir en comunidad, 5 entonces no nos gusta que existan mdicos. De acuerdo con Ana, si no queremos vivir en comunidad, 6 entonces no hacemos algo por la paz De acuerdo con Jorge, Si respetemos las leyes de la 7 comunidad, entonces nos gusta vivir en comunidad. De acuerdo con Freddy, Si nos 8 gusta vivir en comunidad, nos gusta que existan mdicos. De acuerdo con Jorge, Si no nos 9 gusta vivir en comunidad, entonces no respetamos la ley. De acuerdo con Ana, si hacemos 10 algo por la paz, queremos vivir en comunidad

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

3/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Fase 2) A continuacin, usando como referencia el dilogo propuesto, analiza la validez de la conclusin planteada por Tania: Declaracin de proposiciones simples: Premisas: Conclusin: Demostraciones: Fase 2.1: Demostracin a partir de las tablas de verdad forma 1 : (Evaluando la existe del caso en que las premisas sean verdaderas y la conclusin sea falsa) Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad forma 2: (Evaluando si la conjuncin de las premisas implican la conclusin.) 2.2.2. Verificacin con simulador Fase 2.3: Demostracin a partir de las leyes de inferencia: Fase 2.4: Por reduccin al absurdo:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

4/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Ejemplo para la fase 2:

Dilogo: El benefactor hubo de ser: o Pedro, o Andrs - Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje. En conclusin: tuvo que ser Andrs.

Declaracin de proposiciones simples: p = El benefactor fue Pedro q = El benefactor fue Andrs s = Pedro estaba presente t = Pedro estaba de viaje Premisas: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s Conclusin: q

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

5/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Demostracin a partir de las tablas de verdad: Primera forma: Proposi ciones simples p q s t ~s V V VV F V V VF F VVFV V VVFF V V F VV F V F VF F VF FV V VF FF V F V VV F F V VF F F VFV V F VFF V F F VV F F F VF F F F FV V F F FF V Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

pvq V V V V V V V V V V V V F F F F

p --> s V V F F V V F F V V V V V V V V

t V F V F V F V F V F V F V F V F

t --> ~s F V V V F V V V F V V V F V V V

q V V V V F F F F V V V V F F F F

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

6/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Segunda forma: Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al construir la tabla de verdad del ejemplo propuesto: [(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido. Simulador: Haciendo uso del siguiente simulador, podrs verificar el desarrollo de las tablas de verdad: http://www.isftic.mepsyd.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablas vdad/generadorfrset.html Recuerda que en el material de apoyo para la segunda unidad est el enlace a un video con la explicacin de como usar el simulador.

Demostracin a partir de las leyes de inferencia: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s ____________________ 5. ~s 3, 4 MPP 6. ~p 5, 2 MTT 7. q 6,1 S.D En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido.

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 NO es vlido. premisa 1: pvq =V premisa 2: p --> s = V premisa 3: t =V premisa 4: t --> ~s= V ____________________ Conclusin q =F
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

7/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 De acuerdo con la conclusin q es Falsa, y de acuerdo con la premisa 3 t es verdadera. Esto obliga a que de acuerdo con la premisa 4, s sea Falsa. Si s es Falsa, de acuerdo con la premisa 2, p tiene que ser falsa. Pero con p Falsa y con q Falsa no se cumple que la premisa 1 sea verdadera, luego, llegamos a una contradiccin. En conclusin, 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.

Ms material de apoyo: Para dar solucin a esta actividad debes apoyarte en el mdulo, en la lectura a que viene la lgica y en el material de apoyo para la unidad 2:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

8/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 Especificaciones del documento final del trabajo:

Portada con los nombres y nmeros de documento de identificacin de los integrantes que fuera de la fase 1, debatieron los aportes para la solucin del problema. Introduccin (al contenido que el lector encontrar en el trabajo) Recuerda que no es la introduccin al curso de lgica, es la introduccin al trabajo desarrollado Desarrollo de la actividad Conclusiones especficas relativas a la solucin de los problemas Referencias bibliogrficas usadas. Estas referencias deben tener formato APA, las referencias de documentos tomados de Internet tambin llevan formato APA (apellido, nombre, ao entre parntesis, ttulo en itlica, institucin, editorial, ciudad).

RECUERDA: En la portada slo debe figurar el nombre completo, y documento de identificacin de los estudiantes que participaron activamente en el desarrollo de la actividad. Formato del archivo: 1. El archivo debe adjuntarse a travs de este foro por un integrante del equipo en el tema creado para ello por el tutor del equipo. 2. El archivo debe tener el nombre: Nmero_del_equipo_Act_10. Por ejemplo, si su grupo es el 21, el nombre de su archivo ser: 21_Act_10 sin usar caracteres especiales como tildes o puntos. 3. Entregar el archivo en formato pdf

! XITOS EN EL DESARROLLO DE LA ACTIVIDAD !

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

9/9