Hola, tengo una duda con cómo plantear la demostración del directo de esta parte. Lo que hice hasta ahora es esto:
Entiendo que esa es la derivación que se puede construir, pero no entiendo como escribirla formalmente, porque para aplicar la regla de eliminación de la negación necesito una derivación D2 que tenga como conclusión a alfa, no?
Agradezco la ayuda