R P-01 PROGRAMA DE ESTUDIO DE: Lgica Proposicional Ciclo: 01 Ao: 2011 I.

GENERALIDADES Cdigo Prerrequisito Unidades Valorativas LPR0 Bachillerato 4 Horas tericas semanales Horas prcticas semanales Duracin del ciclo 3 1 20 semanas

I.- DESCRIPCIN DE LA ASIGNATURA El desarrollo de la asignatura, comienza con el estudio de la Lgica como Ciencia, que inicia con la Lgica Natural, definicin e historia hasta las leyes del pensamiento; luego continua con el estudio del concepto su caracterizacin, propiedades y clasificacin; sigue con el juicio su caracterizacin, clasificacin ,y los diagramas de Venn de los juicios tradicionales; continua con el razonamiento, su caracterizacin, inferencias simples, silogismos categricos, diagramas de Venn, silogismos irregulares y las falacias; continua con la lgica simblica que incluye el clculo proposicional y el algebra de proposiciones , terminando con las pruebas formales de validez e invalidez y algunos elementos de la Lgica cuantificacional. III.- OBJETIVO GENERAL Que el estudiante desarrolle un pensamiento formal, lgico y analtico que le permita eliminar las ambigedades propias del lenguaje ordinario, as como dar rigor a aquello que se est estudiando. IV.- UNIDADES DE ESTUDIO Unidad I. La Lgica como Ciencia 1.1 Lgica natural. 1.2 Definicin e historia. 1.3 Factores del pensamiento. 1.4 Teora de conocimiento. 1.5 La lgica y otras ciencias. 1.6 Leyes del pensamiento Unidad II. El Concepto 2.1 Caracterizacin y formacin. 2.2 Propiedades y sus relaciones. 2.3 Clasificacin. 2.4 Las categoras. 2.5 Operaciones. Unidad III. El Juicio 3.1 Caracterizacin y clasificacin. 3.2 Juicios tradicionales. 3.4 Diagramas de Venn. Unidad IV. El Razonamiento 4.1 Naturaleza y caracterizacin.

4.2 Inferencias inmediatas y mediatas. 4.3 Clases de razonamientos. 4.4 El silogismo categrico. 4.5 Silogismos irregulares. 4.6 Las falacias. Unidad V. Lgica Simblica 5.1 Clculo proposicional. 5.2 Clasificacin de las proposiciones. 5.3 Conectivos lgicos y tablas de verdad. 5.4 Aplicaciones. Unidad VI. Pruebas de Validez e Invalidez 6.1 La prueba formal de validez 6.2 La regla de reemplazo 6.3 La prueba de invalidez 6.4 Elementos de lgica cuantificacional V.- ESTRATEGIAS DE EVALUACIN 1. Cuatro Pruebas Parciales. (15% c/u) 2. Cuatro Laboratorios (10% c/u): Exmenes cortos, Discusin de problemas, Controles de lectura, Tareas ex-aula, Defensas de trabajos y Exposiciones. VI.- BIBLIOGRAFA

1. LEIVA CHACON, DANILO ANTONIO. Nociones de Lgica Matemtica:

Primeros Pasos. 1 edicin. El Salvador, UFG Editores, 2006. ISBN 99923-4707-4 (Libro de Texto) 2. ESCOBAR VALENZUELA. GUSTAVO. Lgica, Nociones y Aplicaciones. 2a edicin, Mxico, McGraw-Hill, 2004.ISBN 970-10-4583-1 3. COPI, IRVING M.; COHEN, CARL. Introduccin a la Lgica. 1 ed. 7 reimpresin. , Mxico, Limusa, 2005. ISBN 968-18-4882-9 4. HERNANDEZ GABRIELA, RODRIGUEZ GABRIELA. Lgica: para qu?; argumenta, debate y decide racionalmente,

Elaborado por: Ing. Mara Cristela Fuentes Aprobado por: ____________________ Fecha: 08 de enero de 2011 Firma y sello del Decano