Actividades semana 16 sep. Realice los ejercicios 3.1 y 3.2 del captulo 3 de la gua de Matalgica (Soluciones en el captulo).

Qu es una demostracin? Qu es un conjunto inconsistente de frmulas? Cmo se vinculan intuitivamente los conceptos de consistencia e insatisfacibilidad? Reflexione: Por qu se utilizan nociones de la teora de conjuntos en el lenguaje de la metalgica? Puede un conjunto de frmulas ser insatisfacible y estar integrado por por tautologas? Actividades semana 23 sep. Picollo & Teijeiro "Lgica, Metalgica y Metametalgica" Captulo 3 y 4 (hasta Definicin 4.7) Actividades: Qu es una demostracin? Qu diferencia hay con una derivacin? Qu es un conjunto inconsistente de frmulas? Puede probarse la consistencia de un conjunto infinito de frmulas? Qu justificacin dara acerca de la necesidad de aceptar los tres axiomas de SP y el MP? Qu consecuencia tiene que los axiomas estn formulados de manera esquemtica? Cmo se vinculan intuitivamente los conceptos de consistencia e insatisfacibilidad? Actividades semana 30 sep. Picollo & Teijeiro "Lgica, Metalgica y Metametalgica" Captulo 4 (Completo) Actividades: Formule el teorema de la deduccin y explique conceptualmente su significado. Por qu es necesario usar induccin matemtica en la prueba del teorema de la deduccin? Explique el paso inductivo de la prueba. Cmo se vinculan intuitivamente los conceptos de consistencia e insatisfacibilidad? Actividades semana 7 oct. Picollo & Teijeiro "Lgica, Metalgica y Metametalgica" Captulo 4 (Completo) Actividades: Cmo se vinculan intuitivamente los conceptos de consistencia e insatisfacibilidad? Qu quiere decir que la lgica SP es Consistente y Correcta? Por qu la prueba de correccin requiere aplicar nuevamente induccin matemtica? Actividades semana 14 oct. Picollo & Teijeiro "Lgica, Metalgica y Metametalgica" Captulo 4 (Completo) Actividades: Cmo se vinculan intuitivamente los conceptos de consistencia e insatisfacibilidad? Qu quiere decir que la lgica SP es Consistente y Correcta? Por qu la prueba de correccin requiere aplicar nuevamente induccin matemtica? Actividades semana 21 oct. Picollo & Teijeiro "Lgica, Metalgica y Metametalgica" Captulo 4 (Completo) Actividades: Cmo se vinculan intuitivamente los conceptos de consistencia e insatisfacibilidad? Qu quiere decir que la lgica SP es Consistente y Correcta? Por qu la prueba de correccin requiere aplicar nuevamente induccin matemtica?

Actividades semana 11 nov. Picollo & Teijeiro "Lgica, Metalgica y Metametalgica" Captulo 5 (Completo) Actividades: Qu quiere decir que un sistema axiomtico es incompleto? En qu pasos la prueba de completitud requiere el uso de induccin matemtica? Qu asegura el lema de enumeracin? Cul es la cardinalidad del conjunto de tautologas? Adems de recursos lgicos, qu otros recursos son necesarios en la prueba de completitud? Qu asegura el lema de Henkin?