Hola! A qué se refiere con el primer paso? Donde quita Psi2 de las hipótesis.
Hola:
Primero, observemos la dirección de la flecha ⇐.
El primer paso se lee (mejor) invirtiendo la flecha:
- ψ₁,σ ⊨ φ₁ ⇒ ψ₁,ψ₂,σ ⊨ φ₁
Es decir, la segunda línea implica la primera.
La propiedad que justifica esa implicancia es la siguiente:
- Γ ⊨ α y Γ ⊆ Γ' ⇒ Γ' ⊨ α
Es decir, si α es consecuencia de Γ, también será consecuencia de cualquier superconjunto de Γ.
A eso se refiere la justificación de ese paso, cuando menciona definición de (⊨) e inclusión de conjuntos.
Espero que quede más claro. Cualquier cosa, volvé a preguntar.
Impecable. Y por qué es psi2 la que se saca de las hipótesis y no otra sentencia?
Esto es porque en este caso particular, no necesitamos 
para probar 
.
Alcanza con usar las otras dos hipótesis.