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

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

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

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

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

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

demostrando que la conjunción de las premisas implican la conclusión y 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.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. 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.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablas vdad/generadorfrset. podrás verificar el desarrollo de las tablas de verdad: http://www. ~p 5. 10 TRABAJO COLABORATIVO No. 4 MPP 6. ~s 3.D En conclusión.unadvirtual.isftic. 2 MTT 7. 2 Segunda forma: Se deja como ejercicio al estudiante como aporte individual para el debate. q 6.mepsyd. por lo tanto el razonamiento es válido.unad. 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. Simulador: Haciendo uso del siguiente simulador.org / Docente diseñador: Georffrey Acevedo González 7/9 . 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. las leyes de inferencia permiten deducir la conclusión.co PTU: www.edu.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.

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

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

Master your semester with Scribd & The New York Times

Special offer for students: Only $4.99/month.

Master your semester with Scribd & The New York Times

Cancel anytime.