Buenas, tengo una duda con el tema de la eliminación del bottom. ¿Por qué se puede concluir cualquier cosa a partir del bottom?
A lo que me refiero más bien es que no entiendo esta parte
Tampoco entiendo del todo cuándo se cancela una hipótesis. Pregunté en nuestro grupo de estudiantes y algo entendí pero si pudieran tirarme un comentario adicional de esto les agradecería.
Saludos
Hola Juan Agustín:
Se puede derivar cualquier cosa de ⊥ precisamente porque así lo dice la regla de eliminación de ⊥.
Una justificación posible es que esto se corresponde con la definición de consecuencia lógica:
Esto se cumple por la definición de ⊨. En proposicional:
Esto último se cumple por vacuidad ya que ninguna valuación le asigna 1 a ⊥.
Con respecto a la cancelación de hipótesis, te sugiero que repases todo el capítulo de Deducción Natural y en caso de que tengas alguna duda más concreta vuelvas a preguntar.