Re: Eliminacion de bottom de Juan Diego Campo - martes, 19 de abril de 2022, 13:22 Número de respuestas: 0 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, Enlace permanente Mostrar mensaje anterior Responder