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

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

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

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

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

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

~s 3. q 6.unadvirtual. Simulador: Haciendo uso del siguiente simulador. 2 Segunda forma: Se deja como ejercicio al estudiante como aporte individual para el debate. 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.unad. 2 MTT 7. 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. 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. 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.co PTU: www.isftic.edu. demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el razonamiento es válido.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablas vdad/generadorfrset. por lo tanto el razonamiento es válido. 4 MPP 6.D En conclusión. las leyes de inferencia permiten deducir la conclusión. podrás verificar el desarrollo de las tablas de verdad: http://www.1 S.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. ~p 5. 10 TRABAJO COLABORATIVO No.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 7/9 .mepsyd.

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

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

Sign up to vote on this title
UsefulNot useful