REPUBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DE LA DEFENSA

UNEFA

UNIVERSIDAD NACIONAL EXPERIMENTAL POLITECNICA

DE LA FUERZA ARMADA NACIONAL
INGENIERA DE
SISTEMAS

PROGRAMA DETALLADO

SEGUNDO 2-2016

UNIDAD
CURRICULAR
HORAS/SEMANALES

CODIGO
MAT-31214

LGICA MATEMTICA
TEORIA

PRACTICA

PROFESOR DE ASIGNATURA:
LGICA MATEMTICA
Departamento
Cargo

Telfono Celular
Correo Electrnico

SEMESTRE
ACADEMICO

OTRAS
UNIDADES
ACTIVIDADES CREDITO

HORAS/TERMINO
108

MSc. Ing. Mximo Romero Angulo

Coordinacin de Postgrado UNEFA San Tom
Coordinador de Programas:
Maestra en Perforacin Petrolera
Maestras en Extraccin de Crudos Pesados
Maestra en Gerencia Logstica
Maestra en Gerencia de Mantenimiento
0414 849 94 22
romeromaximo@gmail.com
1. OBJETIVO TERMINAL

Al finalizar el curso, el estudiante deber estar en capacidad de formular,

Comprender los conceptos bsicos de la Lgica Matemtica, sus implicaciones y
aplicaciones.
2. SINOPSIS DE CONTENIDO
La asignatura Lgica matemtica le permitir al estudiante desarrollar destrezas en la aplicacin de
proposiciones lgicas evidenciando el dominio de una lgica preposicional binaria. El contenido est
distribuido en 3 unidades:
UNIDAD 1.- Introduccin a la Lgica Matemtica.
UNIDAD 2.- Lenguaje y Lgica.
UNIDAD 3.- Teora de Conjuntos
3. ESTRATEGIA METODOLOGICA

Dilogo Didctico Real: Actividades presenciales (comunidades de aprendizaje), tutoras y

actividades electrnicas.
Dilogo Didctico Simulado: Actividades de autogestin acadmica, estudio independiente
y servicios de apoyo al estudiante.
3.1. ESTRATEGIA DE EVALUACIN

La evaluacin de los aprendizajes del estudiante y en consecuencia, la aprobacin de la

asignatura, vendr dada por la valoracin obligatoria de un conjunto de elementos, a los
cuales se les asign un valor porcentual de la calificacin final de la asignatura. Se sugieren
algunos indicadores y posibles tcnicas e instrumentos de evaluacin que podr emplear el
docente para tal fin.
1. Informe o registro de experiencias, defensa en las actividades presenciales.
2. Control de rendimiento. Auto-evaluacin, co-evaluacin y evaluacin.
3. Informe y defensa de experiencias en organizaciones o instituciones relacionadas
con el rea de la especialidad.
4. Participacin en talleres, dinmicas de grupos, seminarios, etc: Auto -evaluacin/
co-evaluacin y evaluacin.
5. Registros de participacin, otras. Auto-evaluacin/ co-evaluacin, evaluacin del
docente /tutor (a).
6. Pruebas escritas cortas y largas, defensas de trabajos, exposiciones, debates, etc.
7. Auto-evaluacin/ co-evaluacin, evaluacin del estudiante.

4. PROGRAMA DETALLADO
ESTRATEGIAS DE EVALUACIN

OBJETIVOS DE
APRENDIZAJE

CONTENIDO

Interpretar las
Reglas de
Inferencia
mediante
argumentacin
lgica basados en
los valores de
verdad.

UNIDAD 1: INTRODUCCIN A LA LGICA

MATEMTICA.
1.1 Proposiciones: Simbolizacin. Reglas de
inferencia. Lgica. Certeza y validez. Reglas de
demostracin. Tablas de verdad. Razonamientos
validos.

Aplicar el clculo
preposicional,
partiendo del
lenguaje oral y
mediante la
utilizacin de las
Tablas de Verdad y
reglas de inferencias.

UNIDAD 2: LENGUAJE Y LGICA.

2.1 Semitica: Sintaxis, semntica y pragmtica.
Definiciones formales de sintaxis: alfabetos, lenguajes,
definiciones inductivas, gramticas libres de contexto.
Ejemplos: expresiones algebraicas infijas, prefijas,
postfijas.
2.2 Semntica: Definiciones formales de semntica:
dominios de interpretacin, funciones de valuacin
(valuaciones).
2.3 Clculo proposicional (sistema ss): Definiciones.
Valores de verdad. Frmulas: Gramtica de las
frmulas de ss. Arboles asociados a frmulas.
Sustituciones. Instancias de frmulas. Semntica
informal: traduccin de proposiciones en espaol a
frmulas de ss. Derivaciones: Motivacin. Nociones de
derivacin. Por qu no se especifican con
gramticas? Hiptesis. Reglas de inferencia: regla de
copia, reglas para introduccin y eliminacin de los
conectores de implicacin, equivalencia, conjuncin,
disyuncin y negacin. Nociones de teorema,
consecuencia y consistencia. Semntica informal:
traduccin de razonamientos con proposiciones en
espaol a derivaciones de Ss. Meta teoremas sobre
sintaxis: Deduccin. Sustitucin. Reemplazo. Definicin
y uso de reglas derivadas. Semntica: Valores de
verdad. Valuaciones Tablas de verdad. Frmulas
validas. Consecuencia semntica. Meta teoremas
sobre semntica: Sin demostraciones: solidez,
completitud, consistencia, deducibilidad.
2.4 Clculo de predicados (Sistema SP):
Definiciones. Funcin. Diferencia entre ambas: su
rango. Frmulas: Gramtica de los trminos y las
frmulas de Sp. rboles asociados a frmulas.
Sustituciones. Instancias de frmulas. Semntica
informal: traduccin de predicados y proposiciones en
espaol a frmulas de Sp. Derivaciones: Nuevas reglas
de inferencia: nueva regla de copia, reglas para
introduccin y eliminacin de la identidad y de los
cuantificadores. Nociones de teorema, consecuencia y
consistencia. Semntica informal: traduccin de
razonamientos con predicados en espaol a
derivaciones en Sp. Meta teorema sobre sintaxis:
Deduccin. Sustitucin. Reemplazo. Definicin y uso
de reglas derivadas y de reemplazo. Semntica:
Interpretaciones.
Valuaciones de trmino y de una frmula bajo
interpretacin. Tablas de verdad para dominios finitos.
Frmulas satisfactibles en una interpretacin. Validez,
Consistencia. Consecuencia semntica. Meta teoremas
sobre semntica: Sin demostraciones: Solidez,
Completitud, consistencia no deducibilidad.
UNIDAD 3: TEORA DE CONJUNTOS.
3.1 Eplogo: Otros modelos: lgicas modales, lgicas
multievaluadas, lgicas difusas, lgicas temporales,
etc. Lgicas de rdenes mayores. Lgicas o sistemas

Reconocer la
importancia de la
Teora de
Conjuntos y su

Realizacin de actividades terico-prcticas.

Realizacin de actividades de campo.
Aportes de ideas a la Comunidad
(informacin y difusin).
Experiencias vivenciales en el rea
profesional
Registros de participacin.
Pruebas escritas cortas y largas, defensas
de trabajos, exposiciones, debates, etc.
Auto-evaluacin / co-evaluacin y
evaluacin del estudiante.
Realizacin de actividades terico-prcticas.
Realizacin de actividades de campo.
Aportes de ideas a la Comunidad
(informacin y difusin).
Experiencias vivenciales en el rea
profesional
Registros de participacin.
Pruebas escritas cortas y largas, defensas
de trabajos, exposiciones, debates, etc.
Auto-evaluacin / co-evaluacin y
evaluacin del estudiante.

BIBLIOGRAFA

Suppes, P
Lgica M
Nava, O.
Matemt
Simn Bo

Nava, O. (1982). In
Matemtica. Segun
Bolvar. Pino, R. (1
Primer Orden. Uni
R. (1976)
DiscreteMathemati
e Houghton- Mifflin
R. (1973)
IntroductiontoDiscr
e and Engineering

Thomason, R. (1970)
McMillan.
Stanat Y Mcallister, D
ComputerScience. P
Suppes, P Y S. Hill. (
Matemtica. Edit. R
Deao, A. (1974). In
Edit. Alianza.
Pino, R. (1985) Intro
Orden. Universidad

Realizacin de actividades tericoprcticas.

Realizacin de actividades de

Nava, O. (1982).
Matemtica. Seg

aplicacin en la
Lgica Matemtica.

axiomticos que representan los naturales. Resultados

importantes: enunciado del teorema de incompletitud
de Godel, implicaciones filosficas.

campo.
Aportes de ideas a la Comunidad
(informacin y difusin).
Experiencias vivenciales en el rea
profesional
Registros de participacin.
Pruebas escritas cortas y largas,
defensas de trabajos, exposiciones,
debates, etc.
Auto-evaluacin / co-evaluacin y
evaluacin del estudiante.

Simn Bolvar.
Pino, R. (1985) I
Primer Orden.
Suppes, P Y S. H
Lgica Matem

5. BIBLIOGRAFA
Nava, O. (1982). Introduccin a la Lgica Matemtica. Segunda Edicin. Universidad Simn Bolvar.
Pino, R. (1985) Introduccin a la Lgica Primer Orden. Universidad Simn Bolvar.
Prather, R. (1976) DiscreteMathematicalStructuresforComputerScienceHoughton- MifflinCompany.
Preparata, F. Y Yeh, R. (1973) IntroductiontoDiscreteStructuresforComputerScience and Engineering. Addison-Wesley.
Thomason, R. (1970) SymbolicLogicAnIntroduction, McMillan.
Stanat Y Mcallister, D. (1977) DiscreteMathematics in ComputerScience. Prentice-Hall.
Suppes, P Y S. Hill. (1982) Introduccin a la Lgica Matemtica. Edit. Reverte.
Deao, A. (1974). Introduccin a la Lgica Formal. Edit. Alianza.
Pino, R. (1985) Introduccin a la Lgica de Primer Orden. Universidad Simn Bolvar.
Klir, G Y T, Folger.(1988) Fuzzy Set, Uncertainty and Information. Ed. Prentice Hall.
Ferrater, J Y H, Leblanc. (1975) Lgica Matemtica. Fondo de Cultura Econmica.
Cohen, M Y E, Nagel.(1976) Introduccin a la Lgica y al Mtodo Cientfico. Vol. I y II. Amorrortu Editores, 4ta Edicin.
R, Edwars. (1979) Formal BackgroundtoMathematics. Springer - Verlag,

DESCRIPCIN DE LA EVALUACIN DE LA ASIGNATURA Gerencia de Mantenimiento

Contenidos

Presentacin del Cronograma de Actividades, Exposicin por parte del profesor en la

metodologa de la IO y en el modelaje matemtico.
Proposiciones, Trminos de Enlace, y, o, no, si entonces.

METODOLOGA

FECHA

Inicio

01/09/2016
05/09/2016

Simbologa de Proposiciones

08/09/2016

Trminos de enlace y smbolos

12/09/2016

Agrupamientos y Parntesis

15/09/2016

Eliminacin de Parntesis
Examen: Simbologa de Proposiciones, Semntica, Tipos de Proposiciones, Trminos
de enlace, Agrupamiento.
Inferencia Lgica, Reglas de Inferencia y Demostracin
Mtodo de Modus Ponendo Ponens
Mtodo Tollendo Tollens
Deduccin Proposicional
Mas sobre Parntesis
Proposiciones Bidireccionales

19/09/2016
1er Parcial

22/09/2016
25%
26/09/2016
29/09/2016
03/10/2016
06/10/2016
10/10/2016
13/10/2016

Examen sobre Inferencia Lgica

2do Parcial

Valores de Certeza

20/10/2016

Diagramas de Certeza

24/10/2016

Conclusiones no Validas

27/10/2016

Demostracin Condicional

31/10/2016

Consistencia
Examen sobre Valores de Certeza

03/11/2016
3er Parcial

Demostracin Indirecta

07/11/2016
25%
10/11/2016

Tautologas

14/11/2016

Implicaciones Tautolgica y Equivalencia Tautolgica

Evaluaciones: Exposiciones y Trabajos, Asignaciones de Grupos.

17/10/2016
25%

17/11/2016
4er Parcial

21/11/2016
25%
24/11/2016
28/11/2016
01/12/2016
05/12/2016