Tarea 1

Ya está la Tarea 1, está bastante fácil, la mayoría es repaso de lógica I y se entrega el jueves 29 de agosto. Aquí está el link

Hint  para la pregunta 2) para la vuelta sea  ζ en Γ y suponga Γ-{ζ} demuestra ζ, y luego utlice que la cerradura deductiva Γ es la teoría más chica que contiene a Γ. (Perdón por la notació pero no me deja meter más signos matemáticos). Además nunca les definí que Γ fuera independinte para T, esto se define de la siguiente manera: Γ conjunto de axiomas de T es independiente para T si para cualquier ζ en Γ se tiene que Γ-{ζ} no demuestra ζ.

Hint para la 6) como les dije en clase sólo si lo definen por recursión es formal, entonces háganle asi.

Hint para la 9) hay dos maneras (creo), una es que demuestren por inducción sobre la formación de fórmulas  y otra (mucho mejor porque así no hacen el ejecicio 1 de la tarea 2) demostrar el eercicio 1 de la tarea 2 y usarlo, si lo usan queda en un renglón

ACLARACIÓN DE LA 2) en la dos en el iniciso b)ambas contensiones son propias.Y en el 8 C) se me fueron unos paréntesis sobra el primero y el último