SÍLABO DE LÓGICA

I. DATOS GENERALES

CÓDIGO A0283

CARÁCTER Obligatorio

CRÉDITOS 3

PERIODO ACADÉMICO 2014 – I

PRERREQUISITO Ninguno

HORAS Teóricas: 2 Prácticas: 2

II. SUMILLA DE LA ASIGNATURA

La asignatura contiene: Nociones básicas de la lógica clásica: conceptos básicos,

argumentos y falacias; la lógica proposicional: el estudio de la proposición y su
formulación, tablas de verdad, inferencias, cálculo deductivo, leyes lógicas y
diagramas semánticos; la lógica cuantificacional: la práctica del cálculo
deductivo y aplicaciones.

III. COMPETENCIA

Conoce y aplica las nociones básicas de la lógica clásica, en la formulación de

proposiciones tanto en la Lógica Proposicional como en la Lógica
Cuantificacional; empleando adecuadamente los operadores lógicos y variables
del lenguaje simbólico, asumiendo la responsabilidad en el análisis y síntesis
de la racionalidad con actitud crítica y reflexiva.
IV. ORGANIZACIÓN DE LOS APRENDIZAJES
UNIDAD SEMANA CONOCIMIENTOS PROCEDIMIENTOS ACTITUDES
LA PROPOSICIÓN Desarrolla una evaluación de diagnóstico del curso.
Definición y clasificación Identifica e interpreta proposiciones, y los clasifica.
1ª
El lenguaje de la lógica proposicional: Símbolos primitivos y reglas Analiza e interpreta las reglas de formación de los símbolos
de formación primitivos.
CONECTORES LOGICOS Caracteriza los diferentes conectores lógicos en la formación de
2ª Estudio de cada uno de los conectores lógicos. proposiciones moleculares y como base para la formulación de
Valora la importancia
Esquemas moleculares y tablas de verdad. inferencias.
del correcto razonar
Construye tablas de verdad respetando las reglas y el orden que
LAS TABLAS DE VERDAD COMO METODO DECISORIOS mediante la
le son inherentes. Realiza operaciones con tablas de verdad para
3ª Estructuras y elaboración de una tabla de verdad para dos o más aplicación del
demostrar los valores de verdad o falsedad de argumentos o
variables. Valores De Verdad en esquemas lógicos. lenguaje formalizado
esquemas moleculares lógicos.
para la
I DIAGRAMAS SEMÁNTICOS. Representación de los valores de
Utiliza el método de diagramas semánticos para demostrar los demostración de
verdad. Ramas abiertas y cerradas
4ª valores de verdad y falsedad de esquemas moleculares lógicos y conclusiones,
Análisis de esquemas moleculares a través de diagramas
argumentos. determinando la
semánticos.
validez o la invalidez
LAS LEYES LOGICAS Emplea las leyes lógicas y equivalencias notables para
de un esquema
Los tres principios lógicos clásicos. Equivalencias notables. establecer la equivalencia entre dos proposiciones moleculares.
5ª y 6ª lógico.
Simplificación de esquemas moleculares a sus equivalentes menos Simplifica esquemas moleculares para reducirlas a esquemas
complejas. básicos.
Identifica las características de cada regla de inferencia a través
DEDUCCIÓN NATURAL
de ejemplos no formalizados y formalizados.
7ª y 8ª Definición. Reglas de inferencia y procedimiento para la
Utiliza las reglas de inferencia para demostrar si la conclusión
demostración de conclusiones.
de un argumento se sigue lógicamente de las premisas..
EVALUACION PARCIAL
LA LOGICA CUANTIFICACIONAL
Reconoce las características de la Lógica Cuantificacional en la
Importancia de la lógica cuantificacional. Formulación utilizando
formalización de enunciados, haciendo uso de los signos,
símbolos primitivos de la Lógica cuantificacional.
variables y símbolos de este lenguaje.
Esquemas proposicionales básicos. Cuadro básico de oposición. Demuestra
10ª , 11ª Utiliza el cuadro básico de oposición para construir formas
PRINCIPALES PROPIEDADES LÓGICAS DE LOS perseverancia y
equivalentes de los esquemas proposicionales básicos.
CUANTIFICADORES esfuerzo durante el
Simplifica enunciados categóricos haciendo uso del intercambio
Reglas de intercambio de cuantificadores. .Alcance de los desarrollo de
de cuantificadores.
cuantificadores. ejercicios lógicos, en
PROPIEDADES CATEGÓRICAS TÍPICAS: las cuales utiliza los
Las cuatro proposiciones categóricas típicas. Formulación de Formaliza enunciados a proposiciones categórica típicas aspectos teóricos de
12ª y proposiciones categóricas típicas. indicando las características al usar el cuantificador. Utiliza el la Lógica para lograr
13ª Cuadro básico de oposición. Cuadro de oposición categórico típico. cuadro de oposición categórico típico para construir formas con éxito demostrar
II Equivalencias de las proposiciones categóricas típicas. equivalentes de las proposiciones categóricas típicas. y simplificar en el
Reglas lógicas de introducción y eliminación de cuantificadores lenguaje
RELACIONES cuantificacional.
Definición. Matrices booleanas. Grafo de una relación. Descubre, valora y
Trayectorias. toma conciencia de la
14ª y Analiza un conjunto de propiedades de las relaciones internas
Relaciones Internas. Propiedades de las relaciones internas. importancia de la
15ª como una introducción a la teoría de grafos.
Relaciones de orden. Diagramas de Hasse. Orden parcial producto. asignatura en su
Elementos notables de una relación: máximos y mínimos; maximal formación profesional
y minimal; cota superior y cota inferior; supremo e ínfimo. al utilizar la teoría de
TEORIA DE GRAFOS grafos y los arboles.
16ª y Definiciones. Grafos dirigidos. Subgrafos. Complemento de un Utiliza las estructuras de grafos y presenta técnicas de
17ª grafo. optimización en el área de la Investigación Operativa.
Caminos y circuitos Eulerianos.
EVALUACION FINAL
V. METODOLOGÍA
Los contenidos propuestos se desarrollarán siguiendo la secuencia teoría-práctica,
efectuando la recuperación de saberes previos, el análisis, el desarrollo y la evaluación de
los contenidos propuestos.
El profesor utilizará en la modalidad presencial la exposición de clases, haciendo uso de
recursos multimedia, sin perder el dialogo con los alumnos; en tanto en la modalidad a
distancia la disposición de información en formato digital será a través de la plataforma
virtual de la universidad. Por otro lado, los estudiantes realizarán trabajos individuales, y
en equipos, propiciándose el empleo de sus conocimientos, texto universitario e
investigación bibliográfica para la profundización de los temas tratados.

VI. EVALUACIÓN
UNIDAD SEMANA RUBROS INDICADORES INSTRUMENTOS
TA Formaliza enunciados e inferencias Pruebas escritas
y mediante la tabla de verdad Intervenciones
determina los valores de verdad y orales
1-4
CL falsedad de esquemas moleculares. Prácticas
Convierte esquemas moleculares en domiciliarias
circuitos conmutacionales. Practicas grupales
TA Aplica las leyes lógicas,
I
equivalencias notables para Pruebas escritas
simplificar esquemas moleculares a Intervenciones
esquemas básicos y a otras orales
5-8
CL equivalentes y las reglas de Prácticas
inferencia para demostrar la domiciliarias
correcta inferencia de una Practicas grupales
conclusión.
Evaluación parcial
TA Pruebas escritas
Formaliza enunciados e inferencias Intervenciones
en el lenguaje de la LC y por medio orales
10-13
CL de sus propiedades y reglas Prácticas
demuestra o invalida conclusiones. domiciliarias
Practicas grupales
II
TA Pruebas escritas
Aplica las propiedades de las Intervenciones
relaciones y los grafos en la orales
14-17
CL solución de problemas de Prácticas
optimización domiciliarias
Practicas grupales
Evaluación final

OBTENCIÓN DEL PROMEDIO

FÓRMULA PESO PROMEDIO FINAL
CL1  CL2
CL  0,20
2
TA1  TA2 P = CL (0,20) + TA (0,50) + Eval.
TA  0,50
2 (0,30)
Evaluación = 0,4 (Eval. Parcial) + 0,6 (Eval Final) 0,30

La fórmula contempla los siguientes rubros:

CL1 = Control de lectura primer parcial.
CL2 = Control de lectura segundo parcial.
TA1 = Tarea académica primer parcial.
TA2 = Tarea académica segundo parcial.
Eval. Parc. = Evaluación Parcial
Eval. Final = Evaluación Final
VII. BIBLIOGRAFÍA
7.1 BÁSICA
 KATAYAMA OMURA Roberto, Introducción a la Lógica , Editorial Universitaria
URP, Lima, 2003
7.2 COMPLEMENTARIA
 TRELLES MONTERO OSCAR; ROSALES PAPA DIÓGENES. Introducción a la
Lógica. Fondo Editorial. 2000. Pontificia Universidad Católica Del Perú. Código
en Biblioteca: 160-T79
 LUIS PISCOYA HERMOZA. Lógica General. Código en Biblioteca: 160-P62-
2007
 ÓSCAR AUGUSTO GARCÍA ZÁRATE. Introducción a la Lógica. -Fondo editorial
de la UNMSM 2003
 MIAJA DE LA PEÑA, CONCEPCIÓN. Lógica. Ed. Pax México 2001
 ALEJANDRO CHÁVEZ NORIEGA. Introducción a la Lógica. Tercera Edición-
UNMSM, Lima Perú 2000.
 GRASSMANN-TREMBLAY, Matemática Discreta y Lógica, Editorial Prentice-Hall
Hispanoamericana-1997
 RALPH P. Gimaldi, Matemáticas Discreta y Combinatoria, Editorial Addison-
Wesley Iberoamericana-1997
 ROSEN, K, H, Matemática Discreta y sus Aplicaciones, Editorial Mc Graw Hill-
2004
7.3 RECURSOS DIGITALES
 Cruz, J. (2000, Jan 13). Computacion molecular. Reforma. Retrieved from
http://search.proquest.com/docview/310408678?accountid=146219
 Stainton, R. (1999). Fundamentos de lógica simbólica: El cálculo de deducción
natural. Crítica; Revista Hispanoamericana De Filosofía, 31(91), 108-116.
Retrieved from
http://search.proquest.com/docview/216586969?accountid=146219
 Moretti, A. (2006). Lógica y semántica. Revista De Filosofía, 31(2), 31-43.
Retrieved from
http://search.proquest.com/docview/223211114?accountid=146219
 http://www.uv.es/~ivorra/Libros/Logica.pdf
 http://www.fcnym.unlp.edu.ar/catedras/logica/programa.pdf
 http://librosgratisweb.com/html/kant-inmanuel/logica/index.htm
 http://www.iti.uned.es
 http://mat.upm.es

Huancayo, marzo de 2014

Ing. Pedro Tulio Oré La Fuente

Docente Responsable de Asignatura