Temario

I.- Lenguajes Formales.

 

a) Lenguaje natural y formal.
b) Lenguaje objeto y metalenguaje.
c) Paradojas semanticas y lógicas.

II.- Lógica Proposicional.

 

a) El Lenguaje Formal "L".
b) Proposiciones simples y compuestas.
c) Simbolización de argumentos.
d) Métodos de demostración.
e) Tablas de verdad.
f) Tautologias, contingentes y contradicciones.
g) Consecuencia lógica
h) Análisis de argumentos.
i) Forma normal conjuntiva y forma normal disyuntiva.

 

III.- Cálculo Proposicional.

a) Conseptos: Hipótesis, deducción, prueba y teorema.
b) Teorema de la deducción.

IV.- Sistemas Formales.

a) Propiedades del sistema formal "L".
b) Consistecia absoluta y relativa.
c) Completez semántica y sintáctica.
d) Correctez.
e) Independencia de axiomas.

  

Bibliografía

• Mendelson, Elliot. "Introduction to Mathematical Logic". Ed. Van Nostrand.
• Kleene, Stephen Cole. "Mathematical Logic". Ed. Willey.
• Amor Montaño, José Alfredo. "Antologia de Lógica Matemática". Cuadernos de filosofía de las Ciencias. Serie: Textos Seleccionados.