Buenas, para esta parte, basta con tomar un teorema en particular para demostrar Δ1? Luego para Δ2 decir que la negación de dicha fórmula se deriva de Δ2 ya que éste es incosistente, por lo cual se deriva bottom, y por la eliminación del mismo podemos obtener cualquier fórmula. Esto está bien?
Gracias desde ya.