Sílabo de Lógica

I. Datos Generales

Código UC0544

Carácter Obligatorio

Créditos 3

Periodo Académico 2017

Prerrequisito Ninguno

Horas Teóricas: 2 Prácticas: 2

II. Sumilla de la Asignatura

La asignatura corresponde al área de estudios de especialidad, es de naturaleza teórico-

práctica. El propósito de la asignatura es desarrollar en el estudiante la capacidad de distinguir el
razonamiento correcto del incorrecto.

La asignatura comprende: 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. Introducción a la lógica
matemática.

III. Resultado de Aprendizaje de la Asignatura

Al finalizar la asignatura, el estudiante será capaz de analizar las proposiciones moleculares,

argumentos e inferencias con los fundamentos, procedimientos y métodos lógicos en lenguajes de
la lógica proposicional y el de la lógica cuantificacional; empleando ejercicios, ejemplos
planteados o propuestos relacionados a su especialidad profesional; valorando la importancia del
correcto razonar.

ucontinental.edu.pe
IV. Organización de Aprendizajes

Unidad I
Duración
Lógica Proposicional 16
en horas
Al finalizar la unidad, el estudiante será capaz de demostrar la verdad o

Resultado de falsedad de esquemas moleculares empleando técnicas de diagramas

aprendizaje de la semánticos acorde con la formulación de proposiciones moleculares y
unidad
construcción de tablas de verdad.

Conocimientos Habilidades Actitudes

 La Proposición (Definición,  Construye tablas de  Valora la importancia

Importancia, Proposiciones verdad para demostrar los del correcto razonar
atómicas, proposiciones valores de verdad o mediante la aplicación
moleculares). falsedad de argumentos del lenguaje
o esquemas moleculares formalizado para la
 El lenguaje de la Lógica lógicos. demostración de
Proposicional (Símbolos conclusiones,
primitivos, Clases y uso de  Utiliza el método de determinando la validez
los conectores, diagramas semánticos o la invalidez de un
Metavariables, Conector para demostrar los valores argumento o esquema
Dominante, Formulación de verdad y falsedad en lógico.
de Proposiciones e relación a esquemas
inferencias, Fórmulas bien y moleculares y
mal formadas). argumentos.

 Tablas de Verdad (
Fundamentación, Definición,
Diseño de una tabla de
verdad, Operaciones con
tablas de verdad).

 Diagramas Semánticos
(Fundamentación,
Diagramación semántica,
análisis de ramas, Estados
posibles mundiales (E.P.M))

Instrumento de
 Prueba Objetiva
evaluación
Básica
 Copi, I. y Cohen, C. (2006). Introducción a la lógica. Noriega :
Editorial Limusa-Grupo. Ubicación en CENDOC - UC: Código de
Bibliografía Barras: B111119817, Clasificación: 160 / C77 2009
(básica y
complementaria) Complementaria
 Katayama, R. (2003). Introducción a la lógica (1° ed.). Perú :
Universitaria URP.
 UNMSM, Biblioteca Virtual de la UNMSM[Perú]*[Consulta: 2016].
Recursos
Disponible en Web:
educativos http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/filosofia/intro_logic
digitales a/1_parte.pdf.

ucontinental.edu.pe
 Unidad II
Duración
Leyes Lógicas, Equivalencias y Deducción Natural 16
en horas
Al finalizar la unidad, el estudiante será capaz de emplear leyes lógicas,
Resultado de
equivalencias notables y reglas de implicancia, para evaluar esquemas
aprendizaje de la
unidad moleculares y demostrar la validez de un argumento

Conocimientos Habilidades Actitudes

 Leyes Lógicas  Emplea las leyes lógicas y  Demuestra

(Fundamentación, equivalencias notables perseverancia y
equivalencias lógicas, para establecer la esfuerzo durante el
principios de dualidad, leyes equivalencia entre dos desarrollo de ejercicios
del complemento.) proposiciones lógicos, en las cuales
moleculares. utiliza los aspectos
 Simplificación utilizando leyes teóricos de la Lógica
lógicas y equivalencias  Simplifica esquemas para lograr con éxito las
lógicas (Técnicas de moleculares para demostraciones y
simplificación, métodos de reducirlas a esquemas simplificaciones lógicas
resolución) básicas. en el lenguaje
proposicional
 Deducción Natura  Utiliza las reglas de
(Definición. Reglas de inferencia para demostrar
inferencia y procedimiento si la conclusión de un
para la demostración de argumento se sigue
conclusiones.) lógicamente de las
premisas.
 Demostración de inferencias
utilizando reglas de
inferencia.(Método directo:
MD, Prueba Condicional: PC ,
Prueba de reducción al
absurdo: PARA.

Instrumento de
 Prueba Objetiva
evaluación
Básica
 Copi, I. y Cohen, C. (2006). Introducción a la lógica. Noriega :
Editorial Limusa-Grupo. Ubicación en CENDOC - UC: Código de
Bibliografía Barras: B111119817, Clasificación: 160 / C77 2009
(básica y
complementaria) Complementaria
 Katayama, R. (2003). Introducción a la lógica (1° ed.). Perú :
Universitaria URP.

Recursos
 Wikipedia[España]*[Consulta:2015]. Disponible en Web:
educativos https://es.wikipedia.org/wiki/C%C3%A1lculo_l%C3%B3gico
digitales

ucontinental.edu.pe
 Unidad III
Duración
Lógica Cuantificacional 16
en horas
Al finalizar la unidad, el estudiante será capaz de formular esquemas
Resultado de
moleculares y emplear las propiedades de la lógica cuantificacional para
aprendizaje de
la unidad demostrar la validez de un argumento.

Conocimientos Habilidades Actitudes

 Importancia de la lógica  Reconoce las  Demuestra

cuantificacional (LC) características de la perseverancia y
(Fundamentación, Símbolos Lógica Cuantificacional esfuerzo durante el
primitivos de la LC, en la formalización de desarrollo de ejercicios
Formulación de enunciados, utilizando el lógicos, en las cuales
proposiciones e inferencias) cuadro básico de utiliza los aspectos
oposición para construir teóricos de la Lógica
 Esquemas básicas formas equivalentes de los para lograr con éxito las
proposicionales y esquemas esquemas proposicionales demostraciones en el
categóricas típicas básicos y esquemas lenguaje
(Clasificación del esquema categóricos típicos. cuantificacional o
básico proposicional, y predicativo.
categórico típico, cuadro  Formaliza proposiciones
básico de oposición y categóricas típicas
categórico típico). indicando las
características al utilizar el
 Propiedades principales de la cuantificador.
lógica Cuantificacional.
(Reglas de intercambio de  Utiliza las reglas de
cuantificadores. Alcance de introducción - eliminación
los cuantificadores. de cuantificadores,
Esquemas abiertos y propiedades lógicas de
cerrados. Cierre de los cuantificadores, reglas
esquemas. de inferencia y
equivalencias lógicas
 Método decisorio (Reglas para demostrar la validez
lógicas de introducción y de argumentos en LC.
eliminación de
cuantificadores. Método
decisorio.

Instrumento de
 Rúbrica de evaluación de la lógica cuantificacional
evaluación
Básica
 Copi, I. y Cohen, C. (2006). Introducción a la lógica. Noriega :
Editorial Limusa-Grupo. Ubicación en CENDOC - UC: Código de
Barras: B111119817, Clasificación: 160 / C77 2009
Bibliografía
(básica y Complementaria
complementaria)  Katayama, R. (2003). Introducción a la lógica (1° ed.). Perú :
Universitaria URP.
 Suppes, P. y Hill, S. (2006). Introducción a la lógica matemática. (1°
ed.). España : Reverté.

Recursos  Wikipedia[España]*[Consulta: 2016]. Disponible en Web:

educativos https://es.wikipedia.org/wiki/Cuadro_de_oposici%C3%B3n_de_los_ju
digitales icios

ucontinental.edu.pe
 Unidad IV
Duración
Relaciones y Teorías de Grafos 16
en horas

Resultado de Al finalizar la unidad el estudiante será capaz de analizar las propiedades de

aprendizaje de la las relaciones internas, así como la teoría de grafos.
unidad
Conocimientos Habilidades Actitudes

 Relaciones (Clasificación de  Analiza un conjunto de  Descubre, valora y

las relaciones internas, propiedades de las toma conciencia de la
propiedades de las relaciones internas. importancia de la
relaciones internas, asignatura en su
relaciones de orden.  Aplica la teoría de grafos formación profesional al
y su aplicabilidad en la utilizar las relaciones
 Relaciones. Relaciones de carrera profesional. internas y teorías de
orden, diagramas de Hasse, grafos.
elementos notables de una
relación)

 Teorías de grafos (Definión,

clasificación: grafos dirigidos,
subgrafos, complemento de
un grafo.

 Teorías de grafos. Caminos,

recorridos, circuitos
(eulerianos, hamiltoniano))

Instrumento de
 Prueba objetiva
evaluación
Básica
 Copi, I. y Cohen, C. (2006). Introducción a la lógica. Noriega :
Editorial Limusa-Grupo. Ubicación en CENDOC - UC: Código de
Barras: B111119817, Clasificación: 160 / C77 2009

Complementaria
Bibliografía
 Garrido, A. (2015). Lógica matemática e inteligencia artificial (1° ed. ).
(básica y
Dykinson
complementaria)
 Katayama, R. (2003). Introducción a la lógica (1° ed.). Perú :
Universitaria URP.

 Suppes, P. y Hill, S. (2006). Introducción a la lógica Matemática (1°

ed.). España : Reverté, 2006.

Recursos
educativos  Wikipedia [España]*[Consulta: 2016]. Disponible en Web:
digitales

ucontinental.edu.pe
 V. Metodología

Cada unidad de aprendizaje corresponde a una etapa del desarrollo del curso en base a una
metodología teórico – práctica, donde predomina las siguientes actividades:

 Se inicia con la exposición del docente a partir del diálogo y de la interacción con los
estudiantes, orienta los trabajos prácticos y ejercicios planteados en clase en forma
permanente a través del análisis de ejercicios planteados plasmados en prácticas escritas,
individuales y grupales, así como ejercicios planteados para la resolución en pizarra de
manera individual.

 Se practica el aprendizaje colaborativo participando de foros.

Se propicia las exposiciones de los estudiantes individual y grupal, mediante la cual demostrarán el
dominio teórico y práctico de los conocimientos adquiridos.

VI. Evaluación

Rubros Comprende Instrumentos Peso

Evaluación de Prerrequisitos o conocimientos
Prueba objetiva Requisito
entrada de la asignatura
Unidad I Rubrica de evaluación
Consolidado 1 20%
Unidad II Prueba objetiva
Evaluación Parcial Unidad I y II Prueba objetiva 20%
Rubrica de evaluación –
Unidad III
A) Consolidado 2 Prueba objetiva
20%
Unidad IV Prueba objetiva
Rubrica de evaluación –
Evaluación Final Todas las unidades
Prueba objetiva
40%

Evaluación de
Todas las unidades Prueba objetiva
recuperación (*)
(*) Reemplaza la nota más baja obtenida en los rubros anteriores

Fórmula para obtener el promedio:

PF = C1 (20%) + EP (20%) + C2 (20%) + EF (40%)

2017.

Firmado por
FELIPE NESTOR GUTARRA MEZA

CN = FELIPE NESTOR GUTARRA MEZA

O = UNIVERSIDAD CONTINENTAL
OU = 20319363221
T = DECANO
Signature date and time: 17/02/2017 13:57:12
ucontinental.edu.pe