Upload
phamnhi
View
213
Download
0
Embed Size (px)
Citation preview
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.