ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍAUnidad de Ciencias Básicas Lógica Matemática Act. 10 TRABAJO COLABORATIVO No. 2 Act. 10 TRABAJO COLABORATIVO No. 2 Presentado por: JOSABET LORETA JULIAO KEITHY TATIANA KING MANUELA DEL SOCORRO PEÑALVER ADRIANA JEREZ Fabriciana Dolores Torres Tutora: Claudia Marcela Diaz Scarpetta Grupo: 384 UNIVESIDAD ABIERTA Y A DISTANCIA – UNAD SANTA MARTA DTCH MAYO 2012 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 1/5 entonces hacemos algo por la paz Freddy: María: Jorge: Tania: UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.co PTU: www. entonces nos gusta vivir en comunidad. Si nos gusta que existan médicos. Todos podemos hacer algo por la paz.unadvirtual. ¿A quién no le gusta vivir en comunidad? Si nos gusta vivir en comunidad. A continuación se propone un diálogo entre varios estudiantes de la UNAD. Por el contrario. 10 TRABAJO COLABORATIVO No. es necesario que respetemos las leyes de la comunidad.org / Docente diseñador: Georffrey Acevedo González 2/5 .edu. entonces queremos vivir en comunidad. podemos concluir que si respetamos las leyes de la comunidad. hacemos uso de éstos en el debate cotidiano de ideas. no son exclusivos de los espacios académicos. O hacemos algo por la paz o no queremos vivir en comunidad. No Juan. Si nos gusta que existan personas que hagan ropa. 2 Problema de aplicación Los razonamientos lógicos que hemos estudiado. debes analizar este dialogo para dar respuesta a las fases 1 y 2: Diálogo: Juan: Patricia: Ana: Diego: algunas personas pueden hacer algo por la paz.unad.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. si hacemos 10 algo por la paz. 9 V De acuerdo con Ana. De acuerdo con Jorge. si no queremos vivir en comunidad. Si nos gusta vivir en comunidad. Si respetemos las leyes de la comunidad. De acuerdo con Freddy.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 3/5 . entonces no respetamos la ley. 8 V Porque si nos gusta que existan médicos es porque nos gusta vivir en comunidad. queremos vivir en comunidad V UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. porque no esta afirmando. por lo tanto no se puede decir si es verdadero o falso. De acuerdo con Ana. Porque si no queremos que existan médicos es porque no nos gusta vivir en comunidad. 2 Fase 1) A continuación se presentan 10 proposiciones lógicas. También debes registrar la justificación de por qué se asignó dicho valor. lo que hace es una pregunta. entonces no hacemos algo por la paz De acuerdo con Jorge.edu.unad. Porque si no respetamos la ley es porque no nos gusta vivir en comunidad. 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 De acuerdo con Freddy. 2 V 3 F 4 V 5 V 6 V 7 V Porque si respetamos las leyes de la comunidad es porque nos gusta vivir en comunidad. Si no nos gusta vivir en comunidad. Justificación 1 Porque todo ser humano es capaz y en realidad cualquier persona puede hacer algo por la paz Porque todos somos seres humanos capaces y en realidad si todos quisiéramos haríamos algo por la paz. debes analizar el valor de verdad de cada proposición y registrar su valor. entonces nos gusta vivir en comunidad. Porque si queremos vivir en comunidad hacemos algo por la paz. 10 TRABAJO COLABORATIVO No. Porque para vivir en comunidad debemos hacer algo por la paz. nos gusta que existan médicos. No es una proposición lógica. si no nos gusta vivir en comunidad. entonces no nos gusta que existan médicos. La proposic ión es VoF V No.co PTU: www.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. Porque si nos gusta que existan personas que hagan ropa tenemos que vivir en comunidad. edu.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 : Proposiciones simples p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F s V V F F V V F F V V F F V V F F t V F V F V F V F V F V F V F V F ~t F V F V F V F V F V F V F V F V Premisa 1 pvq V V V V V V V V V V V V F F F F Premisa 2 p↔t V F V F V F V F F V F V F V F V Premisa 3 S V V F F V V F F V V F F V V F F Premisa 4 p →~t F V F V F V F V V V V V V V V V Conclusión Q V V V V F F F F V V V V F F F F UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unadvirtual.unad. 10 TRABAJO COLABORATIVO No. 2 Fase 2) A continuación.org / Docente diseñador: Georffrey Acevedo González 4/5 . usando como referencia el diálogo propuesto.co PTU: www. analiza la validez de la conclusión planteada por Tania: Tania: entonces todos generamos paz Declaración de proposiciones simples: P: alguno generamos paz Q: todos generamos paz S: ninguno generamos paz T: de vez en cuando generamos paz Premisas: Premisa 1: p v q Premisa 2: p ↔ t Premisa 3: S Premisa 4: p →~t Conclusión: q Fase 2. 2.unad. 4 SH 6.unadvirtual.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act. q 6.3: Demostración a partir de las leyes de inferencia: Conclusión: Premisa 1: p v q Premisa 2: p ↔ t Premisa 3: S Premisa 4: p →~t Demostraciones: 5.) 2.co PTU: www.2. 1 MT Fase 2.2. MPP 7.1.4: Por reducción al absurdo: Premisa 1: p v q =v Premisa 2: p ↔ t =v Premisa 3: S =v Premisa 4: p →~t =v Conclusión: q =f UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www. 10 TRABAJO COLABORATIVO No.org / Docente diseñador: Georffrey Acevedo González 5/5 . Verificación con simulador Fase 2.2: 2. 2 Fase 2. ~t3.edu. ~p 5. Demostración a partir de las tablas de verdad forma 2: (Evaluando si la conjunción de las premisas implican la conclusión.