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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful