UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD CEAD YOPAL

ESCUELA DE CIENCIAS BSICAS, TECNOLGICAS E INGENIERIA

LOGICA MATEMATICA
Gua didctica

Ing. FERNEY JIMNEZ NEIRA

ferney.jimenez@unad.edu.co Cel. 3213583708

Febrero de 2012

INTRODUCCION
De acuerdo a los lineamientos curriculares institucionales el curso acadmico de Lgica Matemtica es de fundamentacin terica y se enmarca dentro del campo de formacin bsica en el rea investigativa con una asignacin de dos (2) crditos acadmicos. El propsito del curso es que el estudiante apropie de manera significativa los elementos tericos fundamentales de Lgica Matemtica y desarrolle las competencias pertinentes para contextualizarlos en su campo de formacin disciplinar. La Lgica, como la ciencia del pensamiento racional, es fundamental en la formacin integral de cualquier profesional, en el sentido del aporte que sta hace al fortalecimiento de las competencias comunicativas, en tanto potencian su capacidad argumentativa, mediante el desarrollo de habilidades de pensamiento de orden superior, como la abstraccin, el anlisis, la sntesis, la induccin, la deduccin, etc. El curso acadmico se estructura bsicamente en dos unidades didcticas, que corresponden a: Fundamentos de Lgica y Sistemas Axiomticos. En ellas se abordan los tpicos relacionados con teora de conjuntos, lgica proposicional, deduccin, induccin, lgebra Booleana y circuitos lgicos. A travs del curso acadmico de Lgica Matemtica se dinamizan procesos de resignificacin cognitiva y fortalecimiento del desarrollo de operaciones metacognitivas mediante la articulacin de los fundamentos tericos a la identificacin de ncleos problmicos en los diferentes campos de formacin disciplinar. El proceso formativo se lleva a cabo mediante el desarrollo de actividades de aprendizaje tipificadas como estudio independiente y acompaamiento tutorial. Se entiende como estudio independiente las actividades que el estudiante realiza en forma completamente individual y las actividades de trabajo en pequeos grupos colaborativos. El acompaamiento tutorial comprende tutoras de carcter individual, tutoras en pequeos grupos colaborativos y tutoras de grupo de curso. En este sentido, es fundamental que el estudiante asuma la gestin acadmica de su proceso formativo con entereza, compromiso y responsabilidad, con el propsito de cumplir con todos los eventos formativos que se establezcan en la gua didctica para el logro de las intencionalidades formativas definidas para el curso.

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 situaciones conflictivas y traumticas en el estudiante por los resultados adversos que en ocasiones genera. En este sentido, la Lgica Matemtica abre un excelente espacio 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 programas que oferta la universidad es desde 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 desplegar toda su capacidad interpretativa de contextos para encontrar 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 ser evaluado, ste se dinamiza desde la visin institucional de, la cual contempla eventos de autoevaluacin, coevaluacin y heteroevaluacin.

FICHA TCNICA

Nombre del curso: Palabras clave:

LOGICA MATEMATICA Conjuntos, Lgica Proposicional, Deduccin, Induccin, Algebra Booleana, Circuitos Lgicos.

Institucin: Ciudad: Autor(es) del Protocolo Acadmico: Ao: Unidad Acadmica: Campo de formacin: rea del conocimiento: Crditos acadmicos:

Universidad Nacional Abierta y a Distancia -UNAD. Bogot - Colombia

GEORFFREY ACEVEDO GONZLEZ.

2012.

Ciencias Bsicas.
Investigativa Matemticas y ciencias naturales. Dos (2), correspondiente a 96 horas de trabajo acadmico: 72 horas promedio de estudio independiente y 24 horas promedio de acompaamiento tutorial. Terico. Estudiantes de diversos programas de pregrado de la Escuela de Ciencias Sociales, Artes y Humanidades o de cualquier otra Escuela o programa. El estudiante interpreta y aplica los fundamentos conceptuales de la Lgica Matemtica en el estudio y anlisis de situaciones particulares y problemticas especficas en los contextos cultural, social y disciplinar. A distancia. Material impreso, publicacin en web. 1) Fundamentos de Lgica. 2) Sistemas Axiomticos.

Tipo de curso: Destinatarios:

Competencia general de aprendizaje: Metodologa de oferta: Formato de circulacin: Denominacin de las unidades didcticas:

UNIDADES DIDCTICAS
UNIDAD CAPTULO TEMA
1.1 Contextualizacin Histrica de la Lgica 1.2 Clasificacin de la lgica 1.3 Propsito de la lgica 1.4 Lgica y Lingstica 1.5 Componentes del proceso semitico 1.6 Ramas de la semitica 1.7 Proposiciones

SECCIN

1.4.1 Lenguajes naturales y artificiales

Captulo 1: Introduccin a la Lgica

1.8 Conectivos Lgicos

1. Principios de Lgica
Captulo 2: Tautologa

1.7.1 Representacin de las proposiciones 1.7.2 Clasificacin de las proposiciones 1.7.3 Proposiciones Compuestas 1.8.1 Conjuncin: 1.8.2 La disyuncin v 1.8.3 La negacin ~ 1.8.4 El condicional 1.8.5 El bicondicional 1.9.1 Construccin de Tablas de Verdad

1.9 Tablas de Verdad 2.1 Tautologa 2.2 Proposiciones equivalentes 2.3 Implicacin directa, contraria ,recproca y contrarecproca 2.4 Leyes del algebra de proposiciones 3.1 Cuantificadores 3.2 Proposiciones categricas 3.3 Simbologa y diagramas para proposiciones categricas 3.4 Proposiciones contrarias, de contingencia y subcontrarias

2.2.1 Tautologa trivial 2.2.2 Doble Negacin

Captulo 3: Cuantificadores y proposiciones categricas

3.1.1 Cuantificador universal y existencial 3.2.1 Cualidad y cantidad de las proposiciones categricas 3.3.1 Clasificacin de las proposiciones categricas 3.4.1 Proposiciones contradictorias 3.4.2 Proposiciones contrarias 3.4.3 Proposicin Contingente 3.4.4 Proposiciones Subcontrarias 4.1.1 Razonamiento inductivo 4.1.2 Razonamiento deductivo 4.3.1 Prueba formal de validez

4.1 Razonar Captulo 4: Razonamientos lgicos 4.2 Silogismos categricos 4.3 Validez de un argumento 4.3.2 Prueba de invalidez 5.1 Inferencias Lgicas

2. Razonamientos Lgicos

Captulo 5: Inferencias lgicas

5.2 La demostracin

5.1.1 Modus Ponens (M. P) o Modus Ponendo Ponens (MPP) 5.1.2 Modus Tollens (M.T) o Modus Tollendo Tollens (MTT) 5.1.3 Silogismo Hipottico (S: H) 5.1.4 Silogismo disyuntivo (S. D) o Modus Tollendo Ponens (MTP) 5.1.5 Dilema constructivo (D.C) 5.1.6 Absorcin (Abs) 5.1.7 Simplificacin (Simp.) 5.1.8 Conjuncin (Conj) 5.1.9 Adicin (Ad.) 5.2.1 La demostracin directa 5.2.2 La demostracin indirecta 5.2.3 La demostracin por recursin 5.2.4 La demostracin por refutacin 6.1.1 Evaluacin de los argumentos analgicos

Captulo 6: Argumentos Inductivos

6.1 Argumento inductivo por analoga

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD CEAD YOPAL AGENDA ACADEMICA 2012-I CEAD YOPAL

FECHAS
Febrero 18 Marzo 3

ACTIVIDAD
Primer encuentro Segundo Encuentro Tercer Encuentro Cuarto Encuentro Quinto Encuentro Sexto Encuentro Sptimo Encuentro Octavo Encuentro

FASE
Reconocimiento Unidad 1 Captulo 1: Introduccin a la Lgica Captulo 1 Tablas de verdad Profundizacin y Transferencia Tautologa Reconocimiento Cuantificadores y proposiciones categricas Profundizacin y Transferencia: Razonamientos lgicos Profundizacin y Transferencia: Inferencias lgicas Profundizacin y Transferencia: Argumentos inductivos

ACTIVIDAD EVALUATIVA O TALLER

Actividad 01: trabajo escrito individual Quiz 1: captulo 1 2 Unidad 1 Actividad 02: trabajo individual Leccin Evaluativa 1: unidad 1 Quiz 02: captulo 1 2 Unidad Actividad 03: trabajo grupal unidad 2 Leccin Evaluativa 3: unidad 2 Informacin de Retorno 60 % TOTAL

FECHA DE PUNTAJE ENTREGA O REALIZACION

40 20 Marzo 3 Marzo 3

Marzo 17

50

Marzo 31

Marzo 31

60

Marzo 31

Abril 14

20

Abril 14

Abril 28 Mayo 12 Mayo 26

50 60

Mayo 12 Mayo 12 Mayo 26

300

Evaluaciones Nacionales

200

Junio 2, 3, 9, 10

BIBLIOGRAFA COPI, Irving, COHEN, Carl. Introduccin a la Lgica. Limusa, Mxico 2002. GOMEZ, Carlos, GOMEZ, German, BOTERO, William. Matemtica Digital. Mc Graw Hill. Bogot 1998. SCHEINNERMAN, Edward. Matemticas Discretas. Thomsom-Learning. Mexico 2001. LIPSCHUTZ, Seymor. Teora de Conjuntos. Mc Graw Hill. Bogot 1980. SMITH, Kart. Introduccin a la Lgica Simblica. Iberoamericana. Mexico 1991. GALINDO, Nubia Janeth. Lgica Matemtica. Unad. Colombia 1998. SUPPES, Patrick, HILL, Shirley. Introduccin a la Lgica Matemtica. Revert. Colombia 1976. GUTIERREZ, Fabio. Lgica. Una sntesis didctica. Fund. Universitaria de Boyac. Colombia 2001.

Direcciones de sitios web. http://www.cibernous.com/logica/ http://www.cnice.mecd.es/eos/MaterialesEducativos/mem2003/logica/logica/01con cbasicos/130for malmat.html http://www.monografias.com/trabajos10/clasi/clasi.shtml http://w3.mor.itesm.mx/~logica/log9908/lc.html http://minerva.filosoficas.unam.mx/~Tdl/03-1/0424LunaBib.ppt http://www.monografias.com/trabajos/iartificial/pagina4_1.htm http://www.monografias.com/trabajos/iartificial/pagina4_1.htm http://www.ucsm.edu.pe/rabarcaf/Introducci%C3%B3n%20a%20la%20L%C3%B3g ica/2.%20L%C3%B3gica%20Proposicional.doc http://docencia.udea.edu.co/SistemasDiscretos/contenido/capitulo_01.html