Trabajo de pensamiento lgico matemtico

Esta fase individual consiste en aplicar los pasos que implican el desarrollo
de aportes propios respecto al aprendizaje basado en problemas (ABP). El
estudiante debe revisar las diferentes referencias bibliogrficas del Entorno
de Conocimiento y tambin ampliar y profundizar su conceptualizacin en
libros, artculos fsicos o en la web que de manera autnoma pueda consultar
y auto gestionar los conceptos y procedimientos operativos necesarios para
llegar a la solucin de los problemas. Deben tener presente que la fecha
mxima para evidenciar la produccin individual en el Foro de Interaccin y
Produccin es el da Jueves 22 de Junio a las 23:55 horas.

A continuacin se estipulan tres etapas para la Fase Individual, en la cual la

primera se relaciona con la conceptualizacin de los diferentes tipos de
demostracin lgica; luego se plantea la conceptualizacin de las leyes de
Inferencia Lgica; y finalmente se plantean cinco problemas de la validez de
un argumento. De manera que cada uno de los estudiantes del grupo
colaborativo escoger en cada etapa uno de ellos para plantear su proceso y
resolverlo para llegar a la solucin buscada; el estudiante deber publicar en
el Foro de Interaccin y Produccin lo seleccionado con el fin de evitar que
otro compaero seleccione el mismo, es decir en esta Fase Individual cada
estudiante resolver un problema diferente. Es necesario que utilicen los
conceptos, las operaciones lgicas de las tablas de verdad, las leyes de
inferencia y sus propiedades analticas que permitan dar una adecuada
interpretacin al enunciado. As se puede argumentar la estructura,
planteamiento del problema y la resolucin de cada situacin.

Las etapas son las siguientes:

Primera etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de los diferentes tipos de Demostracin en la Lgica
Matemtica (slo selecciona una e informa en el foro cual escogi, para que
no sea escogido por otro integrante), la terminologa es la siguiente:

o Demostraciones Directas e Indirectas. Elegi esta paola

o Demostracin por Contraposicin.

o Demostracin por Contradiccin (Reduccin al Absurdo).

o Demostracin por Contraejemplo.

o Demostracin por el Principio de Induccin Matemtica.

Segunda etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de las leyes de inferencia lgica (slo selecciona una e informa
en el foro cual escogi, para que no sea escogido por otro integrante), la
terminologa de las leyes de inferencia es la siguiente:

o Modus Ponendo Ponens y Modus tollendo Tollens.

o Silogismo Hipottico y Silogismo Disyuntivo. Elegi esta paola

o Dilema Constructivo y Absorcin.

o Simplificacin y Ley de la conjuncin.

o Ley de Adicin y Tollendo Ponens.

Tercera etapa:

Planteamiento y resolucin (utilizando las operaciones necesarias de las

tablas de verdad) y la aplicabilidad de las leyes de inferencia lgica de uno
de los problemas de enunciados tipo argumento del ANEXO 1; adems
adjuntar un pantallaso de la comprobacin de la tabla de verdad con el
simulador TRUTH dicho simulador est dispuesto en el entorno de
Aprendizaje Prctico. En el foro de Interaccin y Produccin encontrar un
link que le permitir descargar un PDF con un ejemplo de cmo realizar el
proceso de demostracin de la validez del argumento con el uso de la tabla
de verdad.. (recuerde slo seleccionar uno e informar en el foro el
seleccionado para que no sea escogido por otro integrante)

Cada estudiante entregar un documento en Word en el Entorno de

Aprendizaje Colaborativo, en el Foro de Interaccin y Produccin del Paso
Tres el cual debe contener el desarrollo de las actividades propuestas. El
contenido debe ser el siguiente:

- Portada
- Objetivos
- Introduccin
- Conceptualizacin de uno de los tipos de demostracin lgica seleccionada
- Conceptualizacin de una de las terminologas de las leyes de inferencia
seleccionada
- Proceso operativo a travs de la tabla de verdad y de la aplicabilidad de
las leyes de inferencia de la resolucin y demostracin de la validez del
enunciado problmico tipo argumento que haya seleccionado, con el
respectivo pantallaso como evidencia de la comprobacin a travs del
simulador TRUTH
- Conclusiones
- Bibliografa

Puntaje: 80 puntos

PARTE COLABORATIVA

La fase grupal corresponde a la produccin intelectual que como grupo

lleguen a consolidar.

Deben tener presente que la fecha mxima para evidenciar la produccin

grupal es el Martes 27 de Junio a las 23:55 horas.

La Fase Grupal est comprendida en dos etapas:

Primera etapa:

Consiste en la participacin significativa de cada integrante en el E-Portafolio

(este recurso lo encuentran en el entorno de Seguimiento y Evaluacin). Para
este aporte, cada estudiante escoger una de las terminologas del lgebra
de Boole (publicar en el Foro de Interaccin y Produccin la terminologa
seleccionada para evitar que otro integrante la seleccione) y realizar una
pequea presentacin en PREZI, de la conceptualizacin o un ejemplo de lo
seleccionado, evidenciando en el E-Portafolio el enlace de acceso. Las
terminologas del lgebra de Boole son:

o Definicin y ejemplos del lgebra de Boole. Elegi esta paola

o Teoremas del lgebra de Boole.
o Principio en la dualidad del lgebra de Boole.
o Compuertas Lgicas.
o Aplicaciones en el mundo real del lgebra de Boole.

EN ESTA PARTE POR FIS ME ESCIRBES LA INFORMACION QUE

YO LO ARMO EN PREZI

Segunda etapa:

Consiste en la interaccin acadmica de los integrantes del grupo en el cual

realicen la interpretacin, el planteamiento y la solucin del enunciado
problmico de la demostracin de la validez de un argumento lgico del
ANEXO 2 y hacer uso del simulador TRUTH para comprobar la respectiva
tabla de verdad.

El grupo de trabajo colaborativo debe hacer entrega de un nico documento

en PDF en el Entorno de Seguimiento y Evaluacin con el desarrollo del
problema de la Fase Grupal. El documento debe contener:
- Portada
- Objetivos
- Introduccin
- Proceso operativo de la resolucin de la situacin problmica de
Inferencia Lgica planteada para desarrollar de forma grupal, con el
respectivo pantallazo de la comprobacin con el uso del simulador TRUTH.
- Conclusiones
- Bibliografa

Puntaje: 50 puntos