Académique Documents
Professionnel Documents
Culture Documents
il ctcLo DE 2010
Descripción:
Este es un curso en el que el estudiantado se familiariza con los conceptos básicos de la lógica
simbólica clásica. Asípues, se caracterizarán los lenguajes formales d'e la lógica proposiciónal
y de predicados de primer orden, además de sus respectivas semánticás. También se
introducen las técnicas de evaluación lógica de razonamientos desde un enfoque simbólico.
Objetivo general:
Objetivos generales:
Contenidos:
1. Lógica Proposicional:
1 .1 . Sintaxis y formulación proposicional:
1.1.1. Enunciados simples y complejos.
1.1.2. Traducción del lenguaje natural al lenguaje formal.
1.2. Semántica:
1.2.1 , Tablas de verdad y conectivas lógicas.
1.2.2. Evaluación de razonamientos en el lenguaje formal mediante tablas de verdad.
1.3, Deducción natural:
1 .3.1 . Reglas de inferencia y de reemplazo.
1.3.2. Evaluación de razonamientos en el lenguajeformal mediante reglas de inferencia y
reemplazo.
2. Lógica de Predicados de primer Orden:
2.1. Sintaxis y formulación:
2.1.1. Predicados monádicos, nombres propios y cuantificadores.
2.1.2. Traducción del lenguaje natural ai lenguaje formal.
2.2. Semántica:
2.2.1. Elaboración de modelos.
Evaluación lógica de razonamientos en el lenguaje formal mediante
??2:
z.J. ueduccion natural:
modelos.
2.3.1. Reglas de cuantificación y de inferencia.
2'3'2' Evaluación de razonamientos en el lenguaje formal mediante reglas de inferencia.
2.4. Predicados poliádicos e identidad:
2.4.1. Sintaxis.
2.4.2. Traducción der renguaje naturar a este renguaje formar.
2'4'3' Evaluación lógica de razonamientos en el lenguaje formal mediante reglas de
inferencia.
Metodología:
Evaluación y medición:
Bibliografía:
Suppe¡, Patrick y Shirley Hill. (1976) Primer curso de tótgica matemática. Traducción de
Enrique Linés Escardó. Bogotá: Editorial Reverté coloñrbiana,
s.A.