P. 1
Act 10 Logica Matematica

Act 10 Logica Matematica

|Views: 1.978|Likes:
Publicado porKarolina Hinestrosa

More info:

Published by: Karolina Hinestrosa on May 18, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

06/19/2014

pdf

text

original

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

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

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

Demostración a partir de las tablas de verdad forma 2: (Evaluando si la conjunción de las premisas implican la conclusión. analiza la validez de la conclusión planteada por Tania: Declaración de proposiciones simples: Premisas: Conclusión: Demostraciones: Fase 2.unadvirtual.3: Demostración a partir de las leyes de inferencia: Fase 2.co PTU: www.2.org / Docente diseñador: Georffrey Acevedo González 4/9 . 2 Fase 2) A continuación. 10 TRABAJO COLABORATIVO No.unad.2.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act.) 2. Verificación con simulador Fase 2.2.1.4: Por reducción al absurdo: UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.2: 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. usando como referencia el diálogo propuesto.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. 10 TRABAJO COLABORATIVO No.Si hubiera sido Pedro. 2 Ejemplo para la fase 2: Diálogo: El benefactor hubo de ser: o Pedro.edu.unad. En conclusión: tuvo que ser Andrés. o Andrés . pero estaba de viaje.org / Docente diseñador: Georffrey Acevedo González 5/9 .unadvirtual.co PTU: www. tuvo que estar presente.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA Unidad de Ciencias Básicas Lógica Matemática Act.

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->