Asignatura: Comunicación

ucontinental.edu.pe

Sílabo de Lógica

I. Datos Generales

Código A0283

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 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.

Asignatura: Comunicación

ucontinental.edu.pe

IV. Organización de los Aprendizajes Unidad Conocimientos Procedimientos Actitudes

I

La Proposición

Definición y clasificación

El lenguaje de la lógica proposicional: Símbolos primitivos y reglas de formación

Desarrolla una evaluación de diagnóstico del curso.

Identifica e interpreta proposiciones, y los clasifica.

Analiza e interpreta las reglas de formación de los símbolos primitivos.

Valora la importancia del

correcto razonar mediante

la aplicación del lenguaje

formalizado para la

demostración de

conclusiones,

determinando la validez o la

invalidez de un esquema

lógico.

Conectores Lógicos

Estudio de cada uno de los conectores lógicos.

Esquemas moleculares y tablas de verdad.

Caracteriza los diferentes conectores lógicos en la formación de

proposiciones moleculares y como base para la formulación de

inferencias.

Las Tablas de Verdad Como Método Decisorios

Estructuras y elaboración de una tabla de verdad para dos o más variables. Valores De

Verdad en esquemas lógicos.

Construye tablas de verdad respetando las reglas y el orden que le son

inherentes. Realiza operaciones con tablas de verdad para demostrar los

valores de verdad o falsedad de argumentos o esquemas moleculares

lógicos.

Diagramas Semánticos. Representación de los valores de verdad. Ramas abiertas y

cerradas

Análisis de esquemas moleculares a través de diagramas semánticos.

Utiliza el método de diagramas semánticos para demostrar los valores de

verdad y falsedad de esquemas moleculares lógicos y argumentos.

II

Las Leyes Lógicas

Los tres principios lógicos clásicos. Equivalencias notables.

Emplea las leyes lógicas y equivalencias notables para establecer la

equivalencia entre dos proposiciones moleculares.

Simplificación Utilizando Leyes Y Equivalencias Lógicas

Simplificación de esquemas moleculares a sus equivalentes menos complejas. Simplifica esquemas moleculares para reducirlas a esquemas básicos.

Deducción Natural

Definición. Desarrollo de las reglas de inferencia: Modus Ponendo Ponens, Modus

Tollendo Tollens, Silogismo Disyuntivo, Simplificación, Adjunción, Ley de Adición, etc.

Identifica las características de cada regla de inferencia a través de

ejemplos no formalizados y formalizados.

Demostración de Inferencias Utilizando Reglas de Inferencia

Procedimiento para la demostración de conclusiones a partir del uso de las diferentes

reglas de inferencia.

Utiliza las reglas de inferencia para demostrar si la conclusión de un

argumento se sigue lógicamente de las premisas.

Evaluación Parcial

III

La Lógica Cuantificacional

Importancia de la lógica cuantificacional. Formulación utilizando símbolos primitivos de

la Lógica cuantificacional.

Esquemas proposicionales básicos

Principales Propiedades Lógicas de los Cuantificadores

Cuadro básico de Boeccio

Reglas de intercambio de cuantificadores. Alcance de los cuantificadores.

Formulas abiertas y formulas cerradas

Reconoce las características de la Lógica Cuantificacional en la

formalización de enunciados, haciendo uso de los signos, variables y

símbolos de este lenguaje.

Utiliza el cuadro básico de oposición para construir formas equivalentes de

los esquemas proposicionales básicos.

Simplifica enunciados categóricos haciendo uso del intercambio de

cuantificadores.

Diferencia formulas abiertas de fórmulas cerradas

Demuestra perseverancia y

esfuerzo durante el

desarrollo de ejercicios

lógicos, en las cuales utiliza

los aspectos teóricos de la

Lógica para lograr con éxito

demostrar y simplificar en el

lenguaje cuantificacional.

Descubre, valora y toma

conciencia de la

importancia de la

asignatura en su formación

profesional al utilizar las

relaciones internas y la

teoría de grafos.

Propiedades Categóricas Típicas

Las cuatro proposiciones categóricas típicas. Formulación de proposiciones

categóricas típicas.

Equivalencias de las proposiciones categóricas típicas.

Reglas lógicas de introducción y eliminación de cuantificadores

Formaliza enunciados a proposiciones categórica típicas indicando las

características al usar el cuantificador. Utiliza el cuadro de oposición

categórico típico para construir formas equivalentes de las proposiciones

categóricas típicas.

Hace demostraciones utilizando las reglas lógicas.

IV

Relaciones

Definición. Matrices booleanas. Grafo de una relación. Relaciones Internas.

Propiedades de las relaciones internas. Relaciones de orden. Diagramas de Hasse.

Elementos notables de una relación

Analiza un conjunto de propiedades de las relaciones internas como una

introducción a la teoría de grafos.

Teoria de Grafos

Definiciones. Grafos dirigidos. Subgrafos. Complemento de un grafo.

Caminos y circuitos Eulerianos.

Evaluación Final

Asignatura: Comunicación

ucontinental.edu.pe

V. Estrategias Metodológicas

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. Sistema de Evaluación

Rubros Instrumentos Peso

Evaluación Diagnóstica Prueba de desarrollo

Consolidado 1

Practicas grupales

Prueba escrita.

Intervenciones orales.

Trabajos de investigación.

20%

Evaluación Parcial Prueba de desarrollo 20%

Consolidado 2

Prueba escrita.

Intervenciones orales.

Practicas grupales.

Trabajo de investigación.

20%

Evaluación Final Prueba de desarrollo 40%

Evaluación de recuperación

Fórmula para obtener el promedio:

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

VII. Bibliografía

7.1 Básica

Katayama Omura, R. (2003). Introducción a la lógica. Lima: Editorial Universitaria URP.

7.2 Complementaria

Chávez Noriega, A. (2000). Introducción a la lógica (3ª ed.). Lima, Perú: Edición

UNMSM.

García Zárate, O.A. (2003). Introducción a la lógica. Fondo editorial de la UNMSM.

Asignatura: Comunicación

ucontinental.edu.pe

Grassmann y Tremblay (1997). Matemática discreta y lógica. Editorial Prentice Hall

Hispanoamericana.

Miaja de la Peña, C. (2001). Lógica. México: Editorial Pax.

Piscoya Hermoza, L. (2007). Lógica general. Código en Biblioteca: 160-P62-2007

Ralph P., G. (1997). Matemáticas discreta y combinatoria. Editorial Addison Wesley

Iberoamericana.

Rosen, K.H. (2004). Matemática discreta y sus aplicaciones. Editorial Mc Graw Hill.

Trelles Montero, O., Rosales P., D. (2000). Introducción a la lógica. Lima: Fondo Editorial

Pontificia Universidad Católica Del Perú. Código en Biblioteca: 160-T79

7.3 Recursos Digitales

Cruz, J. (13 de enero, 2000). 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

2017.