UNIVERSIDAD CAECE

DEPARTAMENTO DE MATEMATICA

PROGRAMA DE: LOGICA

CODIGO DE LA CARRERA PLAN DE LA CARRERA CODIGO ASIGNATURA

072 10 7014/10S
AO CUATRIMESTRE VIGENCIA
1 1 2010
CARRERA: LICENCIATURA EN SISTEMAS

N DE RESOLUCIN MINISTERIAL N DE RESOLUCIN INTERNA

03/70 - 0010/71 176/95 789/00 813/03-023/10

OBJETIVOS

Que los alumnos logren:

Conocer los conceptos bsicos de la lgica proposicional, interpretar y formular

correctamente los enunciados y su valor de verdad, usar correctamente las formas
de razonamiento vlidas.

Aprender mtodos de demostracin de enunciados, implicaciones y equivalencias.

Usar los conceptos anteriores para el desarrollo de la teora de conjuntos,

formalizando la notacin y justificando los enunciados con los mtodos
anteriormente desarrollados.

CONTENIDOS MINIMOS

Elementos de Lgica Formal y metodolgica. Semitica. Signos naturales y

convencionales. Lenguajes. Lgica Proposicional (proposiciones, simbolizacin,
inferencia, certeza y validez). Lgica cuantificacional (trminos, predicados,
cuantificadores, inferencia). Estructura de pruebas formales. Razonamiento inductivo.
Induccin incompleta. Razonamiento por analoga. Razonamiento silogstico.

UNIVERSIDAD CAECE 1
PROGRAMA ANALITICO

1. INTRODUCCION A LA LOGICA MATEMATICA

Idea de proposicin; valor de verdad. Clculo proposicional: negacin, conjuncin,
disyuncin incluyente y disyuncin excluyente, condicional y bicondicional; tablas
de verdad. Circuitos lgicos. Formas normales de las frmulas proposicionales:
forma disyuntiva y forma conjuntiva. Conjunto adecuado de conectivas.
Relaciones de implicacin y equivalencia lgica. Condicin necesaria y condicin
suficiente. Implicaciones asociadas. Tautologas, contradicciones y contingencias.
Leyes lgicas. Reglas de inferencia. Metateorema de la deduccin. Esquemas
proposicionales en una o varias indeterminadas; construccin de proposiciones
por especializacin y por cuantificacin. Operador universal y existencial. Alcance
y negacin. Relacin con la conjuncin y disyuncin de esquemas.

2. METODOS DE DEMOSTRACION
Demostracin de equivalencias. Demostracin de implicaciones. Mtodo directo.
Mtodo indirecto. Mtodo por el absurdo. Mtodo de demostracin por casos. La
induccin en lN, aplicaciones.

3. CONJUNTOS
Idea intuitiva de conjunto. Determinacin por extensin y por comprensin.
Diagramas de Venn. Relaciones entre conjuntos: igualdad, inclusin; propiedades.
Conjuntos especiales: vaco, unitario, referencial. Conjunto de partes.
Operaciones entre conjuntos: complementacin, unin, interseccin, diferencia y
diferencia simtrica. Propiedades.

4. RELACIONES
Par ordenado: igualdad. Idea de n-upla. Producto cartesiano. Cuadrado
cartesiano, diagonal del cuadrado cartesiano; diagramas. Concepto de relacin.
Relacin inversa. Representacin de relaciones por diagramas de Venn. Dominio
e imagen. Imagen de un conjunto. Composicin de relaciones. Relaciones en un
conjunto; propiedades. Clasificacin de relaciones. Preorden, orden y
equivalencia. Definicin y ejemplos.

UNIVERSIDAD CAECE 2
BIBLIOGRAFA OBLIGATORIA

Bosch, J. (1965). Introduccin al simbolismo lgico. Eudeba.

Klimovsky, Gregorio (1993). La teora de conjuntos y los fundamentos de la

matemtica. Ediciones universidad Caece.

BIBLIOGRAFA COMPLEMENTARIA

Trejo, C. (1977). Matemtica elemental Moderna. Eudeba.

Oubia, L.(1965). Introduccin a la teora de conjuntos. Eudeba.

Supres, Patric; Hill, Shirley (1968). Introduccin a la lgica matemtica. Editorial

Revert.

Lipschutz, Seymour J. (1970).Teora de conjuntos y temas afines. Mc Graw-Hill.

Grimaldi, Ralph P. Matemticas discreta y combinatoria. Una introduccin con

aplicaciones. Addison-Wesley Iberoamericana.

METODOLOGIA

El curso tiene una orientacin terico-aplicada. Todos los conceptos tericos

estudiados en clase resultan relevantes, por lo que se realizan referencias continuas a
los aspectos de la lgica matemtica casos concretos. Las clases son
fundamentalmente expositivas, pero se estimula el debate en el aula y el intercambio
de opiniones entre alumnos.

LGICA

1 Mdulos/Semana = 4 horas
17 Semanas/Cuatrimestre = 68 horas
DISTRIBUCION DE LA CARGA HORARIA Horas %
Teora 68 100
Formacin Prctica:
Experimental Laboratorio/Taller/Campo 0 0
Resolucin de Problemas 0 0
Proyecto y Diseo 0 0
PPS 0 0
Total Carga Horaria 68 100

UNIVERSIDAD CAECE 3
EVALUACIN: APROBACIN DEL CURSADO DE LA ASIGNATURA

Cumplimiento del 75% de asistencia

Evaluaciones parciales segn lo establecido en la planificacin de la materia que

se anexa.

EVALUACIN FINAL: REGIMEN DE APROBACIN DE LA MATERIA

La evaluacin final con un examen final escrito, que comprenda la totalidad de los
contenidos estudiados durante el cuatrimestre.

DANIEL PRELAT MARIANA ORTEGA

Director de Departamento Secretaria Acadmica

UNIVERSIDAD CAECE 4