Ya que se puede eliminar bottom por cualquier phi en prop, tambien puedo eliminar bottom por la negación de este?
Hola Joaquín, está bien lo que decís. La regla de eliminación de bottom te permite poner cualquier fórmula de PROP, en particular ¬⊥.
Saludos,
Saludos,