Miércoles 22 de Agosto de 2016

(En cada caso, la última pregunta puede exceder los contenidos explícitamente discutidos en la clase.)

1) ¿Acerca de qué habla una teoría metalógica? ¿Cuál es la diferencia entre lenguaje y metalenguaje? ¿Podría hablar acerca de sí misma?
2) ¿Cuál es la diferencia entre los lenguajes de la metalógica y de la lógica proposicional presentados en la Guía? ¿Por qué uno incluye al otro? ¿Podría no incluirlo?
3) ¿Cuáles son las diferencias entre los lenguajes proposicionales vistos en teóricos y en prácticos? ¿Son equivalentes? ¿Por qué lo son?
4) ¿Qué es una definición recursiva? ¿Podríamos dar una definición explícita de fórmula bien formada? ¿Por qué no? ¿Por qué sí?

Leave a Reply

Your email address will not be published. Required fields are marked *