LÓGICA III (METALÓGICA CUANTIFICACIONAL)
Examen 5

Complete:

1. Teorema de la ________________: Si B es una consecuencia sintáctica en K de G, A, entonces _______________ es una consecuencia sintáctica en K de G.
2. Lema de _____________________: Si K es una teoría consistente de primer orden, entonces hay una teoría K’ de primer orden que es una extensión ________________ y completa con respecto a la negación, con las mismas fórmulas que K.
3. Prueba estilo ___________________: Expandir una teoría consistente de primer orden K hasta tener una extensión de K que sea una teoría de primer orden consistente, cerrada, y ___________________________________________________.
4. Teorema de _____________-_______________: Si una teoría de primer orden tiene un modelo, entonces tiene un modelo __________________.
5. Teorema de _____________________: Si cada subconjunto ________________ del conjunto de axiomas específicos de una teoría de primer orden K tiene un modelo, entonces K tiene un modelo.

---

Regresar a la página del curso: www.filosoficas.unam.mx/~morado/Cursos/1Meta/meta.htm

Regresar a la página de Raymundo Morado

Regresar a la página principal del Instituto de Investigaciones Filosóficas