ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

Unidad de Ciencias Básicas Lógica Matemática

Act. 10 TRABAJO COLABORATIVO No. 2 Act. 10 TRABAJO COLABORATIVO No. 2 Nombre de curso: 90004 – Lógica Matemática Temáticas revisadas: Unidad 2, Razonamiento deductivo e inductivo Políticas 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 solución individual oportuna de la actividad 2. Que el estudiante tenga participaciones significativas, continuas y oportunas debatiendo sus propuestas con las propuestas de sus compañeros. 3. Que el equipo haya hecho entrega de un producto final consolidado en la plantilla diseñada 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 deberán 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.

GUÍA DE ACTIVIDADES Profundización de la Unidad 2: Queridos estudiantes, a través 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 límite de participación para la solución de cada etapa. De la participación activa dependerá la evaluación de su desempeño por parte del tutor asignado al equipo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González

1/9

podemos concluir que si respetamos las leyes de la comunidad. A continuación se propone un diálogo entre varios estudiantes de la UNAD. O hacemos algo por la paz o no queremos vivir en comunidad. entonces hacemos algo por la paz UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. hacemos uso de éstos en el debate cotidiano de ideas. Si nos gusta que existan médicos.co PTU: www. Por el contrario. No Juan. es necesario que respetemos las leyes de la comunidad.org / Docente diseñador: Georffrey Acevedo González 2/9 . no son exclusivos de los espacios académicos. Si nos gusta que existan personas que hagan ropa. entonces nos gusta vivir en comunidad. ¿A quién no le gusta vivir en comunidad? Si nos gusta vivir en comunidad.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. 10 TRABAJO COLABORATIVO No.unadvirtual.edu. Todos podemos hacer algo por la paz.unad. 2 Problema de aplicación Los razonamientos lógicos que hemos estudiado. entonces queremos vivir en comunidad. debes analizar este dialogo para dar respuesta a las fases 1 y 2: Diálogo: Juan: Patricia: Ana: Diego: Freddy: María: Jorge: Tania: algunas personas pueden hacer algo por la paz.

De acuerdo con Jorge. debes analizar el valor de verdad de cada proposición y registrar su valor. si hacemos 10 algo por la paz.edu. 5 entonces no nos gusta que existan médicos. De acuerdo con Ana. Proposición El enunciado de Juan es un enunciado científico El enunciado de Patricia es un enunciado científico El enunciado de María es una proposición lógica El enunciado de Diego expresa una conjunción Justificación VoF 1 2 3 4 De acuerdo con Freddy. nos gusta que existan médicos.co PTU: www. si no nos gusta vivir en comunidad. Si no nos 9 gusta vivir en comunidad. 10 TRABAJO COLABORATIVO No. queremos vivir en comunidad UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. Si respetemos las leyes de la 7 comunidad.org / Docente diseñador: Georffrey Acevedo González 3/9 .unadvirtual. 6 entonces no hacemos algo por la paz De acuerdo con Jorge. Si nos 8 gusta vivir en comunidad. entonces no respetamos la ley. De acuerdo con Ana.unad. De acuerdo con Freddy. También debes registrar la justificación de por qué se asignó dicho valor. entonces nos gusta vivir en comunidad. 2 Fase 1) A continuación se presentan 10 proposiciones lógicas.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. si no queremos vivir en comunidad. La proposici ón es No.

usando como referencia el diálogo propuesto.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act.1: Demostración a partir de las tablas de verdad forma 1 : (Evaluando la existe del caso en que las premisas sean verdaderas y la conclusión sea falsa) Fase 2.2: 2.2. Demostración a partir de las tablas de verdad forma 2: (Evaluando si la conjunción de las premisas implican la conclusión.) 2.unad.4: Por reducción al absurdo: UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. 10 TRABAJO COLABORATIVO No. analiza la validez de la conclusión planteada por Tania: Declaración de proposiciones simples: Premisas: Conclusión: Demostraciones: Fase 2.2.co PTU: www. Verificación con simulador Fase 2.unadvirtual.1.org / Docente diseñador: Georffrey Acevedo González 4/9 . 2 Fase 2) A continuación.2.3: Demostración a partir de las leyes de inferencia: Fase 2.edu.

o Andrés .ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act.org / Docente diseñador: Georffrey Acevedo González 5/9 . pero estaba de viaje. 2 Ejemplo para la fase 2: Diálogo: El benefactor hubo de ser: o Pedro.Si hubiera sido Pedro. 10 TRABAJO COLABORATIVO No. En conclusión: tuvo que ser Andrés.edu. Declaración de proposiciones simples: p = El benefactor fue Pedro q = El benefactor fue Andrés 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 Conclusión: q UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. tuvo que estar presente.unad.unadvirtual.co PTU: www.

unad.org / Docente diseñador: Georffrey Acevedo González 6/9 .ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act.edu. por lo tanto el razonamiento es válido. 2 Demostración 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 Conclusión 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 conclusión sea falsa.unadvirtual.co PTU: www. 10 TRABAJO COLABORATIVO No. UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.

es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablas vdad/generadorfrset.isftic.html Recuerda que en el material de apoyo para la segunda unidad está el enlace a un video con la explicación de como usar el simulador. 2 MTT 7. 10 TRABAJO COLABORATIVO No. Demostración por reducción al absurdo (Método abreviado o prueba formal de invalidez): Suponemos que es posible que las premisas sean verdaderas y la conclusión falsa: Si es posible entonces el razonamiento NO es válido.D En conclusión. 2 Segunda forma: Se deja como ejercicio al estudiante como aporte individual para el debate. Demostración a partir de las leyes de inferencia: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s ____________________ 5.unad. podrás verificar el desarrollo de las tablas de verdad: http://www. ~p 5. las leyes de inferencia permiten deducir la conclusión. por lo tanto el razonamiento es válido. verificar que al construir la tabla de verdad del ejemplo propuesto: [(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusión Se obtiene una tautología.1 S. Simulador: Haciendo uso del siguiente simulador. premisa 1: pvq =V premisa 2: p --> s = V premisa 3: t =V premisa 4: t --> ~s= V ____________________ Conclusión q =F UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.mepsyd.org / Docente diseñador: Georffrey Acevedo González 7/9 .edu.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act.unadvirtual. demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el razonamiento es válido. ~s 3.co PTU: www. 4 MPP 6. q 6.

llegamos a una contradicción. la conclusión sea falsa.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. Esto obliga a que de acuerdo con la premisa 4. s sea Falsa. p tiene que ser falsa. En conclusión.unad. Más material de apoyo: Para dar solución a esta actividad debes apoyarte en el módulo. en la lectura “a que viene la lógica” y en el material de apoyo para la unidad 2: UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. Si s es Falsa. 10 TRABAJO COLABORATIVO No. y de acuerdo con la premisa 3 t es verdadera.unadvirtual. 2 De acuerdo con la conclusión q es Falsa. Pero con p Falsa y con q Falsa no se cumple que la premisa 1 sea verdadera. luego.org / Docente diseñador: Georffrey Acevedo González 8/9 . de acuerdo con la premisa 2.co PTU: www. por lo tanto el razonamiento es válido. del análisis por reducción al absurdo se concluye que no es posible que cuando las premisas sean verdaderas.edu.

Introducción (al contenido que el lector encontrará en el trabajo) Recuerda que no es la introducción al curso de lógica. ciudad). Por ejemplo.     RECUERDA: En la portada sólo debe figurar el nombre completo. 3.edu. 2 Especificaciones del documento final del trabajo:  Portada con los nombres y números de documento de identificación de los integrantes que fuera de la fase 1. editorial. El archivo debe adjuntarse a través de este foro por un integrante del equipo en el tema creado para ello por el tutor del equipo. título en itálica. institución.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. el nombre de su archivo será: 21_Act_10 sin usar caracteres especiales como tildes o puntos.co PTU: www. Formato del archivo: 1. y documento de identificación de los estudiantes que participaron activamente en el desarrollo de la actividad. 2. debatieron los aportes para la solución del problema. las referencias de documentos tomados de Internet también llevan formato APA (apellido.unadvirtual. año entre paréntesis. es la introducción al trabajo desarrollado Desarrollo de la actividad Conclusiones específicas relativas a la solución de los problemas Referencias bibliográficas usadas. 10 TRABAJO COLABORATIVO No. si su grupo es el 21. El archivo debe tener el nombre: Número_del_equipo_Act_10. Entregar el archivo en formato pdf ! ÉXITOS EN EL DESARROLLO DE LA ACTIVIDAD ! UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.org / Docente diseñador: Georffrey Acevedo González 9/9 . Estas referencias deben tener formato APA.unad. nombre.

Sign up to vote on this title
UsefulNot useful