Universidad Nacional Abierta y a Distancia Escuela de Ciencias Bsicas, tecnologa e Ingeniera Unidad de Ciencias Bsicas Protocolo Curso de Lgica

Matemtica

PROTOCOLO

Lgica Matemtica

Autor

Georffrey Acevedo Gonzlez

Medelln, febrero de 2012

Protocolo Curso de Lgica Matemtica 2012

PROTOCOLO ACADMICO
1. IDENTIFICACIN DEL CURSO ACADMICO FICHA TECNICA Nombre del Curso: Palabras clave: Lgica Matemtica Teora de Conjuntos, Leyes de Inferencia, Razonamiento Deductivo, Razonamiento Inductivo, Mtodo Cientfico, Analoga por Observacin, Analoga por Experiencia. Universidad Nacional Abierta y a Distancia - UNAD Medelln - Colombia Georffrey Acevedo Gonzlez 2012 Unidad de Ciencias Bsicas Bsica Comn Matemticas Tres (2), correspondiente a 120 horas de trabajo acadmico: 96 horas promedio de estudio independiente y 24 horas promedio de acompaamiento tutorial. Terico Estudiantes de los programas de pregrado que oferta la Universidad Nacional Abierta y a Distancia UNAD. El estudiante comprende los conceptos bsicos de lgica matemtica, que le permiten clasificar un razonamiento como vlido o invlido. A distancia Documentos impresos en papel, Web, audios en mp3, presentaciones y videos en avi. 1) Principios de lgica 2) Razonamientos lgicos

Institucin Ciudad Autor del Protocolo Ao Unidad Acadmica: Campo de Formacin: rea del Conocimiento: Crditos Acadmicos:

Tipo de curso: Destinatarios:

Competencia General de aprendizaje:

Metodologa de Oferta: Formato de circulacin:

Denominacin de las Unidades Didcticas:

Protocolo Curso de Lgica Matemtica 2012

2. INTRODUCCIN

OH dicha de entender, mayor que la de imaginar o la de sentir! Borges.

Este mdulo est concebido para ser un curso introductorio a la lgica Matemtica. Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda actividad, es importante que nos interroguemos por el origen y propsito de dicho conocimiento, Qu problemas busc resolver el hombre mediante dicho conocimiento? Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se espera que el estudiante desarrolle? Por qu se consideran importantes estas competencias? Por qu, siendo yo un estudiante de regencia de farmacia, o un estudiante de ingeniera, o mejor an, un estudiante de psicologa, debo tomar el curso de Lgica Matemtica? Entre las competencias que debe tener un estudiante, se destaca su capacidad para construir razonamientos deductivos e inductivos, tal que le permitan verificar hiptesis as como generar nuevas, una competencia necesaria, no slo para la investigacin cientfica, sino necesaria para actividades como proponer argumentos vlidos en un ensayo o para debatir ideas. Se considera que la lgica matemtica acompaada de las competencias lingsticas permite plantear las mejores soluciones a diferentes tipos de problemas. Al punto que son estas las competencias que son evaluadas por universidades en todo el mundo para determinar el acceso a programas de educacin superior. La competencia lgico matemtica no hace referencia exclusiva a operaciones con representaciones simblicas y ejercicios complejos. En este curso aprenders cmo en nuestro lenguaje cotidiano hacemos uso de los razonamientos lgicos deductivos e inductivos, siguiendo unas estructuras bsicas que nos permiten afirmar que un razonamiento es o no vlido.
Ya Platn en la Repblica nos propone que antes del estudio de una ciencia social como lo es la filosofa era necesaria la preparacin de la mente por medio del estudio de la geometra euclidiana, en la cual el discpulo deba entrenarse haciendo demostraciones de teoremas de la geometra, demostraciones que slo se logran siguiendo una secuencia lgica de pasos ordenados.

Protocolo Curso de Lgica Matemtica 2012

Hoy, muchas instituciones educativas exigen a sus aspirantes a cualquier programa acadmico, presentar pruebas de admisin que pretenden evaluar las competencias tanto lingsticas como lgico matemticas. mediante estas evaluaciones, las instituciones pretenden elegir entre todos sus aspirantes a aquellos que se encuentren ms preparados para aprender. Esto es para comprender y elaborar razonamientos lgicos deductivos e inductivos cada vez ms complejos. En este sentido, el curso de lgica matemtica es importante para mejorar en la interpretacin y construccin de razonamientos lgicos presentes tanto en el lenguaje cotidiano como en todas las reas especializadas del conocimiento. Es por esta razn que el curso de lgica matemtica es un curso transversal a todos los programas acadmicos ofertados por la Universidad Nacional Abierta y a Distancia UNAD. Para leer el mdulo slo se requieren conceptos de conjuntos numricos, y operaciones algebraicas bsicas. La intencin es que el estudiante pueda aprender de este mdulo por s mismo, en este sentido es un texto escrito ms para los estudiantes que para el tutor. En el curso de lgica matemtica, analizaremos diferentes operaciones entre conjuntos, tales como unin, interseccin y complemento, entre otras operaciones, que nos permitirn aclarar la comprensin de las relaciones entre los conectivos lgicos usados en el lenguaje natural, partiendo para ello una representacin grfica. A la par desarrollaremos las destrezas lgico matemticas, dando solucin a problemas como ste: De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD, los amantes de la msica de Juanes son 15; mientras que los que nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos de los dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman ser fanticos de Juanes? Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en nuestro leguaje y que pocas veces nos detenemos a analizar y a comprender, por ejemplo, nuestro amigo Boole afirma que cuando gane su equipo predilecto har fiesta, pasado un tiempo encontramos que Boole est festejando pero que su equipo predilecto ha perdido Se est contradiciendo el amigo Boole con su afirmacin inicial?, En este curso descubriremos y analizaremos el conectivo lgico que ha usado Boole en su afirmacin para concluir sobre este asunto. Identificar los conectivos lgicos, las premisas y comprender su funcin en el lenguaje nos permitir disear frases cada vez ms complejas sin que se pierda la coherencia en la construccin gramatical. Posteriormente aprenderemos a simplificar expresiones complejas o difciles

Protocolo Curso de Lgica Matemtica 2012

de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas por medio de smbolos. Por ejemplo, al expresar en lenguaje natural que es falso que Augustus no miente; por medio de la lgica aprendemos a llegar a la simplificacin: Augustus miente, utilizando leyes lgicas bsicas que nos permiten validar la simplificacin hecha con un argumento ms all de la simple intuicin. Gracias al desarrollo informtico un estudiante de psicologa, puede implementar una funcin lgica en una hoja de clculo como Excel o Calc, que le permita obtener en segundos el resultado de la aplicacin de un Test psicolgico a una poblacin. En general, gracias a los principios bsicos de la lgica se pueden implementar funciones de aplicacin en todas las reas del conocimiento. Otra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. Por ejemplo, analicemos qu puede concluirse de la siguiente afirmacin: si llueve hace fro, posteriormente ocurre que hace fro, es entonces correcto concluir que llueve?, Por medio de la lgica transformaremos esta expresin en lenguaje simblico que posteriormente podremos analizar por medio de una tabla de verdad y descubrir en qu caso especfico la conclusin puede no derivarse de sus premisas. En el mundo de la argumentacin siempre estamos utilizando unos principios lgicos bsicos que estudiaremos en el curso de Lgica Matemtica, permitindonos mejorar en la construccin de argumentos ms fuertes, basados en los cimientos de la lgica.

Buen Viento y Buena mar.

Georffrey Acevedo Gonzlez.1

Tutor de Ciencias Bsicas de la Universidad Nacional Abierta y a Distancia UNAD desde 1995. Ingeniero Electrnico de la Universidad de Antioquia. Maestro en educacin del Tecnolgico de Monterrey. www.georffrey.com georffrey.acevedo@unad.edu.co georffrey@gmail.com

Protocolo Curso de Lgica Matemtica 2012

Procesos del aprendizaje significativo:

Significatividad Lgica Representada en la presentacin en secuencia lgica de los contenidos y sentido propio de los mismos Significatividad psicolgica Representada en contenidos contextualizados al desarrollo y capacidades cognitivas de los estudiantes Motivacin Promovida en el desarrollo de objetos virtuales de aprendizaje orientados para dar pertinencia a los contenidos del curso

Elementos del Proceso de Aprendizaje

MATERIAL ESCRITO

GRUPOS COLABORATIVOS

TIC

y x f (x,y)

CONOCIMIENTOS

DOCENTE - TUTOR

COMPRENSIN E INTERIRIZACIN DE LOS CONOCIMIENTOS GRFICA No 1

Protocolo Curso de Lgica Matemtica 2012

3. JUSTIFICACIN
Un curso de Lgica Matemtica es significativamente importante en la formacin de cualquier profesional, si se mira desde la ptica de la necesidad de la apropiacin de una fundamentacin conceptual mnima exigible para fortalecer la destreza en la formulacin de argumentos e hiptesis que den validez lgica a nuevas concepciones o actualizaciones cognitivas. En las formas de comunicacin cotidiana utilizamos expresiones del lenguaje natural que en el fondo responden a estructuras de inferencia lgica, o por induccin o por deduccin y que en la medida que se comprenda este proceso de pensamiento complejo se mejoran obviamente los procesos de interaccin comunicativa y de resignificacin cognitiva. Desafortunadamente los campos de formacin de tinte matemtico generan situaci ones co nflictivas y traum ticas en el e studian te p or lo s resultados adversos que en ocasiones genera. En este sentido, la Lgica Matemtica abre un excelente espacio de reflexin y expectativa para modificar esa concepcin y generar una actitud diferente frente al rea cuntica. El curso acadmico que desde ac se imparte a los estudiantes de los diferentes pro gramas qu e oferta la u nivers id ad es desd e su estructura un curso de fundamentacin terica, que intenta generar en el estudiante competencias comunicativas y cognitivas a travs del desarrollo de habilidades de pensamiento, como: anlisis, sntesis, comparacin, abstraccin, etc.; aspectos fundamentales para un ptimo desempeo en lo acadmico, disciplinar y profesional. La pertinencia de las temticas que se abordan en las unidades didcticas del curso acadmico de Lgica Matemtica con los diferentes campos del saber debe generar una dinmica acadmica interesante en el estudiante que lo lleve a desple gar toda su capacidad interpretativa de conte xtos para en contrar el sentido, fundamento y trascendencia del saber que se imparte para su formacin integral. La metodologa del curso busca mantener una dinmica permanente de interactividad a travs de medios y mediaciones que faciliten procesos de aprendizaje significativo en el estudiante y fundamentalmente sta se apoya en el trabajo acadmico de estudio independiente y de acompaamiento tutorial. En cada una de ellas se facilitan los procesos de aprendizaje considerando que stos se dinamizan estratgicamente desde las fases de reconocimiento, profundizacin y transferencia. Y como todo proceso debe se r eva luado, ste se di namiza desde la visin institucional de, la cual contempla eventos de autoevaluacin, coevaluacin y heteroevaluacin.

Protocolo Curso de Lgica Matemtica 2012

Toda esta serie de aspectos antes sealados son motivo de expectativa para generar una nueva visin frente al logro de competencias en aptitud matemtica.

Protocolo Curso de Lgica Matemtica 2012

4. INTENCIONALIDADES FORMATIVAS

PROPSITOS 1. Contribuir al desarrollo de habilidades de pensamiento en estudiantes de diferentes programas que oferta la UNAD mediante la activacin cognitiva de operaciones mentales que faciliten la apropiacin de nociones, definiciones, axiomas y leyes que constituyen fundamentos bsicos en teora de conjuntos. 2. Desarrollar en el estudiante habilidades de comunicacin en contextos diversos mediante la articulacin de lenguajes icnicos, simblicos o artificiales como el de la lgica proposicional para dinamizar procesos de aprendizaje en diferentes campos del saber. 3. Aportar elementos significativos que contribuyan a desarrollar en el estudiante la habilidad para argumentar, razonar o formular generalizaciones por induccin o deduccin a travs de la interpretacin de los fundamentos estructurales que caracterizan a tales mtodos de inferencia lgica. 4. Despertar en el estudiante especial inters por reflexionar e investigar desde los diferentes contextos disciplinares la identificacin de sistemas axiomticos mediante el estudio y anlisis riguroso sobre los componentes estructurales que los componen.

OBJETIVO GENERAL

Que la comunidad estudiantil de la UNAD, desarrolle su pensamiento lgicomatemtico. Proporcionar al estudiante herramientas que le permitan reconocer, elaborar y determinar la validez de razonamientos lgicos tanto deductivos como inductivos.

Protocolo Curso de Lgica Matemtica 2012

OBJETIVOS ESPECFICOS

1. Que el estudiante comprenda nociones, conceptos, definiciones y operaciones bsicas que configuran la fundamentacin terica sobre conjuntos mediante el estudio y anlisis de las fuentes documentales propuestas articuladas a situaciones especficas donde es pertinente su aplicacin. 2. Que el estudiante relacione expresiones del lenguaje simblico y del lenguaje natural mediante anlisis comparativo e interpretacin de la funcionalidad de las variables lgicas y operacionabiliadad de los conectivos lgicos como elementos estructurales de la lgica proposicional transcribibles a otras formas de comunicacin en diferentes contextos del saber. 3. Que el estudiante interprete la fundamentacin terica que soporta los mtodos de inferencia lgica por deduccin e induccin a travs del estudio, anlisis, aplicacin y ejercitacin de los axiomas y leyes de inferencia lgica en la formulacin y demostracin de razonamientos vlidos.

METAS DEL APRENDIZAJE

Al finalizar este curso acadmico: 4. El estudiante presentar y sustentar un informe personal de trabajo como resultado del estudio y anl isis de los fu ndamentos de la teora de conjuntos, en donde evidenci e la utilizacin d e nociones, conceptos, definiciones y operaciones bsicas en el anlisis de situaciones especficas por l definidas. 5. El estudiante plantear y formular expresiones lgicas en lenguaje natural y lenguaje simblico como evidencia del anlisis comparativo e interpretativo de la funcin que cumplen variables y conectores lgicos como elementos estructurales de las expresiones lgicas en el estudio de situaciones particulares propuestas para tal fin.

Protocolo Curso de Lgica Matemtica 2012

6. El estudiante presentar una propuesta amplia de razonamientos y demostraciones como resultado del estudio, anlisis y ejercitacin en la interpretacin y aplicacin de los axiomas y leyes de inferencia lgica en los diferentes contextos disciplinares de formacin.

COMPETENCIAS

1. El estudiante comprende y aplica de manera suficiente nociones, conceptos, definiciones, axiomas y leyes que fundamentan la teora general de conjuntos en el estudio y anlisis de las fuentes documentales referenciadas para dinamizar el proceso de aprendizaje y en situaciones especficas donde es pertinente su aplicabilidad. 2. El estudiante relaciona e interpreta expresiones del lenguaje simblico y del lenguaje natural en la formulacin y representacin de estructuras semnticas lgicas en trminos de variables y conectores lgicos como elementos estructurales de la lgica proposicional articulables a diferentes formas de comunicacin en diversos contextos. 3. El estudiante interpreta e identifica en forma clara la estructura y fundamento conceptual que tipifica los mtodos de inferencia lgica por induccin y deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones especficas derivadas del estudio de contextos donde es pertinente su aplicabilidad.

Protocolo Curso de Lgica Matemtica 2012

5. UNIDADES DIDACTICAS
Unidades Unidad 1 Principios de Lgica captulos TEMAS

Captulo 1 Leccin No.1 Introduccin a la lgica Introduccin a Leccin No. 2 Proposiciones la lgica Leccin No. 3 Conectivos lgicos fundamentales Leccin No. 4 Condicional y Bicondicional Leccin No. 5 Tablas de verdad Captulo 2 Tautologa Leccin No. 6 Tautologa Leccin No. 7 Proposiciones equivalentes Leccin No. 8 Tautologa trivial y doble negacin Leccin No. 9 Implicacin directa, contraria, recproca y contrarrecproca Leccin No. 10 Leyes de la lgica

Leccin No. 11 Cuantificadores Captulo 3 Leccin No. 12 Proposiciones Cuantificadores categricas y proposiciones Leccin No. 13 Representacin de las categricas proposiciones categricas Leccin No. 14 Clasificacin de las proposiciones categricas Leccin No. 15 Proposiciones contrarias, de contingencia y subcontrarias

Protocolo Curso de Lgica Matemtica 2012

Captulo 4 Leccin No. 16 Razonamiento lgico Unidad 2 Razonamientos Leccin No. 17 El mtodo cientfico Razonamientos lgicos Leccin No. 18 Silogismos lgicos categricos Leccin No. 19 Validez de un argumento Leccin No. 20 Prueba formal de validez Captulo 5 Inferencias Lgicas Leccin No. 21 Inferencia lgica Leccin No. 22 Leyes de inferencia Leccin No. 23 Aplicacin de las leyes de inferencia Leccin No. 2 Demostracin directa e indirecta Leccin No. 25 La Refutacin

Captulo 6 Argumentos Inductivos

Leccin No. 26 Argumento Inductivo Leccin No. 27 El problema de la induccin Leccin No. 28 La analoga Leccin No. 29 La fuerza de los argumentos Leccin No. 30 Analoga refutadora

Protocolo Curso de Lgica Matemtica 2012

7. MAPA CONCEPTUAL

Protocolo Curso de Lgica Matemtica 2012

7. CONTEXTO TERICO
El curso de Lgica Matemtica tipificado como de fundamentacin terica, se proyecta como facilitador de los principios bsicos que dinamizan este campo del saber para contextualizarlo en las diferentes disciplinas de formacin que oferta la UNAD y direccionarlo en el sentido de motivar y promover en el estudiante el desarrollo de habilidades y destrezas en su quehacer disciplinar, profesional, socio humanstico e investigativo. A travs del desarrollo de interesantes temticas que parten desde la teora fundamental de conjuntos, seguida de los principios bsicos de la lgica formal o proposicional que conducen al reconocimiento de la importancia de mtodos de inferencia lgica como induccin y deduccin, para finalmente aterrizar esta conceptualizacin en una de las aplicaciones tecnolgicas ms importantes y significativas que han contribuido al desarrollo de la electrnica, informtica y telemtica como son los denominados circuitos lgicos de conmutacin o compuertas lgicas. Todo esta gama de temticas, para algunos desconocida, tienen como propsito generar con su desarrollo la activacin de procesos cognitivos que contribuyan al cultivo y fortalecimiento de habilidades de pensamiento en el estudiante como: abstraccin, anlisis, comparacin, clasificacin, induccin y deduccin, entre otras. El logro de este propsito es fundamentalmente importante para desarrollar y alcanzar niveles ptimos de desempeo en la realizacin de las metas de ndole personal, acadmica y profesional que cada ser humano acostumbra formularse.

Protocolo Curso de Lgica Matemtica 2012

8. METODOLOGA
En todo acto pedaggico intervienen cinco componentes: el que ensea, el que aprende, el sistema de comunicacin, el contenido de lo que va ser enseado y el bagaje cultural y acadmico del estudiante. En el diseo de este curso se tuvieron en cuenta las experiencias que promueven la articulacin de los anteriores elementos; por eso en su estructura se encuentran: Actividades previas: corresponden a las actividades en las cuales se identifican los propsitos del curso, sus intencionalidades y se presenta el desarrollo del curso. Puede desarrollarse de manera individual a travs del estudio del protocolo del curso o a travs de actividades grupales propuestas. Actividades de ejecucin: se llevan a cabo por medio de diversas actividades con el fin de alcanzar los propsitos de formacin. Se dan a travs de: Estudio independiente, desarrollado por el estudiante, a travs de: - Estudio del material sugerido por la UNAD. - Consulta de fuentes documentales (bibliografa de documentos impresos en papel: libros y revistas; bibliografa de documentos situados en Internet; direcciones de sitios Web de informacin especializada, bibliotecas y hemerotecas virtuales, etc.) - Trabajo en grupo: desarrolladas por estudiantes a travs de pequeos grupos colaborativos, con el propsito de: - Crear grupos de estudio o discusin, para resolver dudas y preparar consultas estructuradas al tutor. Consultas al tutor: teniendo en cuenta las inquietudes, el tutor estar dispuesto a resolver dichas consultas. Se puede realizar a travs de: - Tutora: Sesiones formativas cuya finalidad es asesorar a los estudiantes en los puntos crticos del curso. Se puede realizar de forma individual, en pequeos grupos o en grupo de clase.

Protocolo Curso de Lgica Matemtica 2012

- Medios tecnolgicos: a travs de herramientas como correo electrnico, salas de conversacin, foros, etc. Actividades de evaluacin: permiten identificar los logros alcanzados en cada una de las unidades didcticas, establecer las dificultades en el aprendizaje y afianzar los conocimientos adquiridos. Lea cuidadosamente la programacin y organizacin de dichas actividades dentro del curso. Esto le brindar la oportunidad de desarrollar un proceso de aprendizaje evidenciado en sus fases de reconocimiento, profundizacin y transferencia. Al poner en operacin estas fases, propias del proceso de aprendizaje, cada uno de los participantes del curso tiene la oportunidad de materializar su propio proyecto de aprendizaje, esto es, su propio proceso de descubrimiento que por su misma naturaleza, es individual y que se reafirma desde la cooperacin de cada uno de los compaeros de pequeo y gran grupo.

FASES DEL APRENDIZAJE: El aprendizaje es un proceso de carcter cognitivo, meta cognitivo, valorativo, donde se desarrollan competencias y habilidades que hacen del individuo el SER y el HACER en un contexto. Dicho proceso tiene unas fases que permiten la mejor comprensin e interiorizacin de los conocimientos. 1. FASE DE RECONOCIMIENTO: Todo individuo tiene conocimientos previos fruto de experiencias y aprendizajes adquiridos anteriormente. En esta fase del aprendizaje, el estudiante activa sus conocimientos previos, identifica y reconoce contextos donde puede indagar para adquirir nuevos conocimientos y reforzar los que ya posee. En esta fase se tiene dos momentos: Reconocimiento General del Curso: El primer paso es identificar el protocolo acadmico, para su apropiacin y conocimiento de la forma de navegacin por el mismo. La apropiacin del protocolo se puede hacer a travs de foro de curso donde los estudiantes comparten sobre la estructura general del curso, el contenido y los lineamientos pedaggicos propuestos. Tambin se inspecciona sobre fuentes y elementos que pueden servir para desarrollar el curso acadmico.

Protocolo Curso de Lgica Matemtica 2012

Reconocimiento de las Unidades Temticas: La fase de reconocimiento es importante en la medida en que el estudiante active sus conocimientos previos e indague sobre nuevos conocimientos. Es de anotar que esta fase es exploratoria y busca motivar para que las temticas del curso sean bien comprendidas. El reconocimiento de las unidades temticas se puede hacer por medio de una evaluacin diagnstica , que permita indagar sobre los presaberes que se tiene y as conocer los alcances que se deben conseguir. 2. FASE DE PROFUNDIZACIN: Cuando el estudiante conoce lo que debe estudiar y ha identificado los conceptos fundamentales del contenido del curso y la metodologa que se va a desarrollar, el siguiente paso es entrar en forma directa a abordar cada temtica, utilizando una serie de actividades previamente planeadas didcticamente y cuyo propsito es el dominio, comprensin e interiorizacin de los principios y teoras de los contenidos; adems, desarrollar competencias de orden superior segn los objetivos, propsitos y metas trazadas para el curso de Calculo Diferencial. 3. FASE DE TRANFERENCIA: Cuando el estudiante ha comprendido e interiorizado los conocimientos, debe estar en capacidad de hacer una resignificacin y aplicacin autnoma a situaciones problmicas de naturaleza terica a diferentes contextos o dicho de otra manera, pasar de situaciones conocidas a situaciones desconocidas. El proceso se complementa con sistemas de interactividad pedaggica sincrnicas y asincrnica mediante la socializacin de lo estudiado en el trabajo independiente, en pequeos grupos colaborativos, desarrollo de talleres, elaboracin de ejercicios propios de reas de ciencias, tecnologa e ingeniera. COMPONENTES DEL TRABAJO ACADMICO: 1. ESTUDIO INDEPENDIENTE: E s e l mo me nt o d o n d e e l Est ud i an te (ap r e n di en te ) i n i ci a s u p ro ce so d e autoaprendizaje, por medio de actividades acadmicas individuales y grupales. Por el sistema de crditos acadmicos, el Estudiante debe utilizar por lo menos 96 horas de estudio independiente, correspondiente a 2 crditos acadmicos para este curso. En este componente hay dos estados al saber: Trabajo Personal: El estudio por medio del trabajo personal, es la fuente fundamental del aprendizaje, donde el Estudiante indaga los ncleos generativos del conocimiento, por medio de la exploracin del curso acadmico, la lectura y anlisis de la gua didctica, lectura, anlisis y desarrollo de ejercicios y problemas del modulo y otro material escrito, consulta en sitios de la Web e Internet, desarrollo de actividades de la gua respectiva, la elaboracin de resmenes, realizacin de Auto evaluacin,

Protocolo Curso de Lgica Matemtica 2012

presentacin de informes. Para esta accin, se recomienda que el estudiante desarrolle el mtodo de lectura autorregulada , (Anexo No 1). En este espacio el Estudiante desarrolla las fases de: Reconocimiento, ya que puede activar sus conocimientos previos, objetivar los significados de dichos conocimientos y conseguir mtodos y herramientas para que sta fase de adquisicin de conocimientos sea ms fcil de desarrollar. Profundizacin, Porque el Estudiante por medio de actividades planeadas didctica y secuen cialmente adquiere el dominio de conceptos y competencias de diversas ndole, segn los propsitos, objetivos y competencias propuestos. Es importante que el Estudiante aproveche al mximo este componente del trabajo acadmico, ya que de la ejecucin de ste depende en gran parte el xito del proceso de aprendizaje. De esta accin el estudiante debe haber realizado mnimo lo siguiente. a- Un resumen del tema en cuestin, utilizando una de las siguientes herramientas. Mapa conceptual, ensayo, exposicin tcnica y otros. ( Anexo No 2) b- Conocer los principios del tema, destacando teoras, definiciones, principios del razonamiento lgico, otros. c- Identificar dudas, plantear inquietudes y proponer debates para el trabajo en grupo, paneles, sobre temas crticos que haya identificado a travs del estudio realizado. d- Un auto evaluacin que permita detectar los avances del tema en estudio. Trabajo En Pequeos Grupos Colaborativos de Aprendizaje: Despus del trabajo personal, el estudiante debe compartir lo aprendido con sus compaeros, lo cual se hace por medio de un trabajo en equipo, donde se intercambian conocimientos, se debates inquietudes, se hacer preguntas entre compaeros. Este trabajo se puede realizar de manera sincrnica en encuentros peridicos de los grupos colaborativos; puede ser presencial o por medio de comunicacin como Chat., Skape y otros, en forma asincrnica, por medio del campus virtual, a travs de foros, debates, correo y dems. Esta actividad se hace en ausencia del tutor u orientador y esta basada en lo propuesto en la gua de actividades. Este es el espacio para comenzar a desarrollar la competencia de comunicacin y a estimular las habilidades valorativas y de interaccin. Este trabajo es importante y tiene carcter obligatorio en el desarrollo del curso.

Protocolo Curso de Lgica Matemtica 2012

Este trabajo debe permitir: a- complementar los conocimientos propios, con los de otros compaeros. b- Aclarar dudas acerca de temas especficos. c- Reforzar lo aprendido, con lo aportado por los dems compaeros. dProponer dudas e inquietudes grupales para compartir con el tutor. e- Desarrollar Coevaluacin que permita indagar los conocimientos adquiridos entre estudiantes y as detectar debilidades y dificultades en la comprensin del tema estudiado. 2. ACOMPAAMIENTO TUTORIAL: Realizadas las actividades individual y grupal por parte de los estudiantes, existen argumentos slidos para realizar una tutora, la cual puede ser de tres tipos segn se explicar a continuacin. El tiempo a utilizar en el acompaamiento tutorial es de 38 horas, segn el nmero de crditos para este curso. Tutora Individual: En este espacio el Tutor hace acompaamiento al Estudiante de manera individual sobre situaciones particulares de ste ltimo, tales como contenidos temticos, pertinencia y efectividad de los mtodos y tcnicas que est utilizando el estudiante en su proceso y as se pueda potenciar su aprendizaje. Se puede desarrollar de manera presencial o por el campus virtual. La valoracin del trabajo del estudiante ser por medio de Revisin de talleres, evaluacin de actividades, ejercicios propuestos, portafolios y otros, todo esto por medio de Heteroevaluacin realizada por el Tutor. Tutora a Pequeos Grupos Colaborativos: En este espacio el Tutor hace acompaamiento a un pequeo grupo de Estudiantes acerca de situaciones que requieren refuerzo, tales como contenidos temticos, pertinencia y efectividad de los mtodos y tcnicas que esta utilizando el grupo en su proceso y as se pueda estimular y potenciar el aprendizaje del grupo. En este momento se puede valorar el trabajo del pequeo grupo por medio de Revisin de talleres, evaluacin de actividades, Portafolios, exposiciones y otros, todo esto por medio de Coevaluacin y Heteroevaluacin. (Anexo 3) Tutora en Grupo de Curso: Este es el espacio donde los estudiantes, con la orientacin del tutor, se abordar aquellos temas especficos que han presentado algn grado de dificultad en los momentos previos. En las tutoras, el docente debe asumir el rol de orientador y dinamizador del aprendizaje, esperando que el encuentro sea dinmico y participativo por parte de los estudiantes. NO se debe esperar que el tutor

Protocolo Curso de Lgica Matemtica 2012

"DICTE UNA CLASE", ya que el espacio es para tratar temticas de manera ms profunda, aclarar dudas que no se pudieron solucionar ni individual ni grupalmente. Para esta parte del proceso de aprendizaje se requieren 18 horas / curso, siendo posible hacer estos encuentros presencial, virtual o mixtos segn las posibilidades y disponibilidades tecnolgicas que la UNAD posea. En el acompaamiento tutorial, se refuerzan las fases de Profundizacin y Transferencia del proceso de aprendizaje; ya que el Estudiante con los conocimientos adquiridos, est en capacidad de, a partir de situaciones conocidas, resolver problemas en otras situaciones utilizando los mismos principios, teoras y definiciones. Pero adems se fortalecen la fase de Reconocimiento. La siguiente grfica, permite comparar el modelo pedaggico tradicional, el cual NO se debe aplicar en nuestra institucin y la propuesta de modelo que la UNAD quiere apropiar.

Protocolo Curso de Lgica Matemtica 2012

9. MODELO PEDAGGICO
MODELO TRADICIONAL

Transmisin Conocimiento elaborado

Recepcin

PROPUESTA UNAD

Como podemos observar en la grfica, la propuesta est acorde con los momentos que se describen en la metodologa a distancia que la UNAD viene desarrollando y quiere madurar para llegar a un modelo propio, que sea convalidado y plenamente probado para nuestra institucin. Se visualizan los momentos de Trabajo Individual, Trabajo en Grupos Colaborativos y Acompaamiento Tutorial. Pero se observa el uso de las TIC como herramienta bsica para que la interiorizacin de los conocimientos sea ms dinmica y significativa.

Protocolo Curso de Lgica Matemtica 2012

10. SISTEMA DE EVALUACIN

AUTOEVALUACIN: Es aquella que realiza el mismo estudiante, donde a medida que va estudiando, se va planteando preguntas y el mismo las resuelve. De esta forma el estudiante hace su propio seguimiento, identificando avances y dificultades, lo que hace el proceso de autoaprendizaje muy dinmico y participativo. Este tipo de evaluacin NO tiene ponderacin para la aprobacin del curso, solo es una forma de identificar fortalezas y debilidades en el proceso de aprendizaje. COEVALUA CI N : Cuan do el estud iante realiza estudio en peque o grupo colabo rativo, los compaeros pueden valorar los avances, por medio de la Coevaluacin, en sta los compaeros se evalan entre si, con el fin de identificar los avances y detectar debilidades en el desarrollo de los temas que se estn estudiando. La Coevaluacin es un espacio para desarrollar habilidades comunicativas y NO tiene ponderacin para la aprobacin del curso. HETEROEVALUACIN: Es aquella preparada por el Tutor o por el Docente Titular del Curso, para hacer el seguimiento al rendimiento acadmico de los estudiantes, se puede realizar por medio de parciales, quinces, revisin de informes, trabajos, portafolios, evaluacin nacional y otros. Este estilo de evaluacin es la utilizada por la UNAD para determinar la aprobacin o no del curso acadmico. La nota definitiva para que un Estudiante apruebe el curso acadmico de Clculo Diferencial est distribuida as: Primer Caso: (60% - 40%): El examen nacional al final del curso acadmico que tiene un valor del 40% del total, la cual es alimentada por los tutores y director nacional del curso del curso, la cual es diseada y elaborada por ste ltimo. La prueba es aplicada y calificada por los tutores que orientan el curso en los CEAD. Segundo caso: (100%): La evaluacin nacional presentada al final del curso, ser la nota definitiva del estudiante.

Protocolo Curso de Lgica Matemtica 2012

NOTAS DEL CURSO: CASO 60% - 40%

Seguimiento Acadmico Fase de reconocimiento:10% de la nota Fase de profundizacin:20% de la nota Fase de transferencia:30% de la nota Actividades Quices, talleres, evaluaciones, exposiciones Valor: 60% de la nota definitiva Evaluacin Nacional

Prueba objetiva Aplicada en todos los CEAD el mismo da a la misma hora Valor: 40% de la nota definitiva

Protocolo Curso de Lgica Matemtica 2012

11. GLOSARIO DE TRMINOS

ALGEBRA BOOLEANA: Sistema matemtico abstracto formado por un conjunto no vaco, una relacin de equivalencia y dos operaciones binarias que satisfacen unos axiomas. AXIOMA: Un axioma, en epistemologa, es una "verdad evidente" que no requiere demostracin, pues se justifica a s misma, y sobre la cual se construye el resto de conocimientos por medio de la deduccin; aunque, no todos los epistemlogos estn de acuerdo con esta definicin "clsica". El axioma gira siempre sobre s mismo, mientras los postulados y conclusiones posteriores se deducen de este. En matemtica, un axioma no es necesariamente una verdad evidente, sino una expresin lgica utilizada en una deduccin para llegar a una conclusin. C CIRCUITO DE CONMUTACIN: Circuitos formados por conmutadores o interruptores. CONCLUSIN: Proposicin que se pretende probar y que se deduce de las premisas. CONECTIVOS LGICOS: Son trminos que sirven para unir o enlazar proposiciones simples. CONJETURA: Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se denomina conjetura o hiptesis. Palabra(s) clave: CONTRADICCIN: Proposicin compuesta falsa en todos los casos. Afirmacin y negacin que se oponen una a otra y recprocamente se destruyen. COROLARIO: Una afirmacin que sigue inmediatamente a un teorema. Una proposicin A es un corolario de una proposicin o teorema B si A puede ser deducida sencillamente de B. CUANTIFICADOR: Expresin que permite restringir los valores de las variables, de tal forma que la proposicin forma un solo valor de verdad para dicha restriccin. E ECUACION: algebraicas

Representacin

Algebraica

de

igualdad

de

expresiones

Protocolo Curso de Lgica Matemtica 2012

H HIPTESIS: Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se denomina conjetura o hiptesis. I INFERENCIA: Es una operacin lgica que se refiere a proporciones admitidas como verdaderas (las premisas) y que concluye en la verdad de una nueva proposicin en virtud de su vinculacin con las primeras. Por esto la inferencia se reduce a menudo a la deduccin necesaria en la que la verdad de las premisas asegura totalmente la verdad de la conclusin. L LGICA: Ciencia que expone las leyes, modos y formas del conocimiento cientfico. LGICA FORMAL: La que opera utilizando un lenguaje simblico artificial y haciendo abstraccin de los contenidos.

P
PREMISAS: Cada una de las dos primeras proposiciones del silogismo, de donde se infiere y saca la conclusin. PROPOSICIN: Un enunciado no asociado a ningn teorema en particular. Palabra(s) clave:

R
RAZONAMIENTO: Expresin del lenguaje natural o simblico que consta de premisas y una conclusin. Serie de conceptos encaminados a demostrar algo o a persuadir o mover a oyentes o lectores. S SILOGISMO: es una proposicin hecha de una de estas cuatro afirmaciones posibles: "Todo A es B" (universal afirmativo), "Nada de A es B" (universal negativo), "Algo de A es B" (particular afirmativo) o "Algo de A no es B" (particular negativo). Las letras sustituyen a palabras comunes, llamadas "trminos" del silogismo. Un silogismo bien formulado consta de dos premisas y una conclusin, debiendo tener cada premisa un trmino en comn con la conclusin y un segundo trmino relacionado con la otra premisa.

Protocolo Curso de Lgica Matemtica 2012

En lgica clsica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas vlidas o no vlidas de argumentacin, en pocas palabras hay verdades universales y particulares.

SISTEMA AXIOMTICO: Conjunto de elementos con operaciones definidas, relaciones y axiomas.

TAUTOLOGA: Proposicin compuesta verdadera en todos los casos. Repeticin de un mismo pensamiento expresado de distintas maneras. TOLLENDO TOLLENS: Modus Tollendo Tollens (del latn, modo que negando niega), tambin llamado razonamiento indirecto, es el nombre formal para la prueba indirecta. Usualmente se lo abrevia como "MTT". T ABLA DE VERDAD: Representacin esquemtica de las relaciones entre proposiciones, sirve para determinar los valores de verdad de proposiciones compuestas.

Protocolo Curso de Lgica Matemtica 2012

12. MATERIAL DIDCTICO

Introduccin al curso Material de apoyo para la Unidad 1 Material de apoyo para la Unidad 2

Protocolo Curso de Lgica Matemtica 2012

13. SIMULADORES Circuitos Lgicos

Protocolo Curso de Lgica Matemtica 2012

Enlace al generador de tablas de verdad No.1

Clic en la imagen para acceder al video instructivo diseado para el simulador:

Protocolo Curso de Lgica Matemtica 2012

Enlace al generador de tablas de verdad No.2

Clic en la imagen para acceder al video instructivo diseado para el simulador:

Protocolo Curso de Lgica Matemtica 2012

14. FUENTES DOCUMENTALES

Bustamante, Sandra., Corts, D. Juvenal., et al. (2008). Razonamiento Lgico. Razono y acto con lgica. Universidad de Antioquia. Medelln, Colombia. Galindo Patio, N. J. (1999) Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. Suppes, Patrick. Hill, Shirley (1988). Primer curso de lgica Matemtica. Revert. Santaf de Bogot. Picacenza, Eduardo (1991). Lgica. Universidad Nacional Abierta. Caracas. Salazar, R. (2008). Gua didctica para el diseo de la Gua de Actividades de los cursos por mediacin Tradicional. Vicerrectora de Medios y Mediaciones Pedaggicos. Universidad Nacional Abierta y a Distancia. UNAD. Bogot. D.C. Valenzuela, Gustavo E. (1999). Lgica. Nociones y Aplicaciones. McGraw-Hill. Mxico.