Buenas,
Me está costando el expresar las clausuras como fórmulas (el añadirlas al principio haciendo que quede una fórmula válida) por lo cual donde dice "clausuras?" es la forma en la que creí que es válida ponerlas (prefijarlas).
Además, quería ver que tan válido es el razonamiento que tuve en este ejercicio. Sé que no está ni prolijo ni muy formal, pero quería saber si esa es más o menos la linea de pensamiento a llevar.
Gracias!
Hola:
Algunos comentarios:
La clausura está bien aplicada.
El contra ejemplo que ponés es correcto aunque te conviene elegir algo más simple como: σ := P₁(x₁)
La parte donde probás que A ⊭ ∀x₁∀x₂(...) lo hacés de una manera informal asignando valores a x₁ y x₂ que hagan falso el para todo.
Para hacerlo formal, te sugiero que apliques la definición de vᴬ o el lema 2.4.5.
Si surgen más dudas o algo no queda claro, volvé a preguntar.