tu derivación (si es que no se pierde nada en la visualización que hago) no es lo que se pide. lo que das es una justificación del juicio:
a, -(a \/ b) |-- bottom
pero precisás justificar el juicio
Gamma, -(a \/ b) |-- bottom
usualmente, dibujamos un triangulito arriba de la a, explicitando que en ese triangulito hay una prubea que justifique Gamma |-- a.
saludos
luis